The state reduction of nondeterministic finite-state machines.

Maurizio Damiani

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1997)

Keyphrases

finite state machines
finite state automata
model checking
hidden markov models
state transition
neural network
keywords
state space
cellular automaton
digital circuits