A fast algorithm for the optimal state assignment of large finite state machines.

Devadas Varma E. A. Trachtenberg

Published in: ICCAD (1988)

Keyphrases

finite state machines
state transition
model checking
finite state automata
optimal solution
regular expressions
worst case
digital circuits
hidden markov models
dynamic programming
optimal control
np hard
state space
information extraction