On state reduction of incompletely specified finite state machines.

Sezer Gören F. Joel Ferguson

Published in: Comput. Electr. Eng. (2007)

Keyphrases

finite state machines
model checking
finite state automata
state transition
regular expressions
pattern matching
cellular automaton
digital circuits
neural network
genetic algorithm
hidden markov models
state space
image quality