On the Influence of the State Encoding on OBDD-Representations of Finite State Machines.

Christoph Meinel Thorsten Theobald

Published in: MFCS (1997)

Keyphrases

finite state machines
model checking
state transition
finite state automata
digital circuits
regular expressions
keywords
relational databases
pattern matching
data exchange
constraint programming