Login / Signup
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata.
Natalia Kushik
Nina Yevtushenko
Published in:
CIAA (2015)
Keyphrases
</>
finite state machines
hidden markov models
finite state automata
model checking
finite state
cellular automaton
regular expressions
test sequences
finite automata
digital circuits
long sequences
databases
database systems