Implementing Finite State Machines.

Published in: Computational Support for Discrete Mathematics (1992)

Keyphrases

finite state machines
model checking
finite state automata
state transition
hidden markov models
regular expressions
information retrieval
efficient implementation
database
data sets
database systems
digital circuits