A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines.

Hiroyuki Higuchi Yusuke Matsunaga

Published in: DAC (1996)

Keyphrases

finite state machines
model checking
cellular automaton
finite state automata
state transition
data sets
hidden markov models
regular expressions
data model
data warehouse