Symbolic forward/backward traversals of large finite state machines.
Gianpiero CabodiPaolo CamuratiStefano QuerPublished in: J. Syst. Archit. (2000)
Keyphrases
- finite state machines
- forward backward
- hidden markov models
- state transition
- finite state automata
- model checking
- symbolic representation
- digital circuits
- regular expressions
- databases
- neural learning
- binary decision diagrams
- high level
- image quality
- knowledge base
- connectionist models
- data sets
- connectionist systems