State Reduction in Incompletely Specified Finite-State Machines.

Charles P. Pfleeger

Published in: IEEE Trans. Computers (1973)

Keyphrases

finite state machines
model checking
state transition
finite state automata
cellular automaton
database
data sets
learning algorithm
metadata
hidden markov models
data integration