Symbolic two-dimensional minimization of strongly unspecified finite state machines.
Marek A. PerkowskiLech JózwiakWilliam ZhaoPublished in: J. Syst. Archit. (2001)
Keyphrases
- finite state machines
- state transition
- three dimensional
- finite state automata
- model checking
- digital circuits
- symbolic representation
- cellular automaton
- objective function
- data sets
- high level
- regularization term
- database systems
- video sequences
- multi dimensional
- database
- regular expressions
- knowledge base
- packing problem