Finite State Machine Decomposition Using Multiway Partitioning.
Maya K. YajnikMaciej J. CiesielskiPublished in: ICCD (1992)
Keyphrases
- finite state machines
- model checking
- functional decomposition
- finite state automata
- state machine
- state transition
- digital circuits
- regular expressions
- decomposition algorithm
- decomposition method
- partitioning algorithm
- graph partitioning
- cellular automaton
- metadata
- high throughput
- semi automatic
- pattern matching
- object oriented
- query processing
- database systems