Fast heuristic algorithms for finite state machine minimization.

Lalgudi N. Kannan D. Sarma

Published in: EURO-DAC (1991)

Keyphrases

finite state machines
model checking
state machine
finite state automata
state transition
objective function
hidden markov models
digital circuits
conceptual model
regular expressions
cellular automaton
databases