Deriving homing sequences for Finite State Machines with timeouts.

Aleksandr S. Tvardovskii Nina Yevtushenko

Published in: Comput. J. (2023)

Keyphrases

finite state machines
hidden markov models
finite state automata
model checking
regular expressions
digital circuits
neural network
databases
domain specific
semi automatic
sequential patterns
long sequences
functional decomposition