Deriving homing sequences for Finite State Machines with timeouts

Aleksandr S. Tvardovskii, Nina Yevtushenko 0001. Deriving homing sequences for Finite State Machines with timeouts. Comput. J., 66(9):2181-2190, September 2023. [doi]

Abstract

Abstract is missing.