On Distinguishing Sequences of Several Classes of Reversible Finite State Machines.

Martin Lukac Khaled El-Fakih

Published in: ISMVL (2021)

Keyphrases

finite state machines
hidden markov models
finite state automata
model checking
cellular automata
regular expressions
regular languages
data sets
sequential patterns
state space
object oriented
test sequences
digital circuits