Minimum Length Synchronizing Sequences of Finite State Machine.

June-Kyung Rho Fabio Somenzi Carl Pixley

Published in: DAC (1993)

Keyphrases

finite state machines
minimum length
hidden markov models
model checking
finite state automata
state machine
shortest path
regular expressions
digital curves
query language
statistical analysis
cellular automaton