Decomposed symbolic forward traversals of large finite state machines.
Stefano QuerGianpiero CabodiPaolo CamuratiPublished in: EURO-DAC (1996)
Keyphrases
- finite state machines
- state transition
- finite state automata
- model checking
- regular expressions
- symbolic representation
- hidden markov models
- symbolic data
- bi directional
- digital circuits
- forward and backward
- high level
- symbolic description
- path expressions
- image quality
- information extraction
- neural learning
- data sets
- connectionist systems