Theory and algorithms for state minimization of nondeterministic FSMs.
Timothy KamTiziano VillaRobert K. BraytonAlberto L. Sangiovanni-VincentelliPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1997)
Keyphrases
- data structure
- computational cost
- theoretical framework
- orders of magnitude
- database
- finite state machines
- graph theory
- recently developed
- optimization problems
- computationally efficient
- computational efficiency
- finite state
- times faster
- linear algebra
- efficient optimization
- minimization problems
- theoretical analysis
- pattern matching
- benchmark datasets
- significant improvement
- reinforcement learning
- image processing
- social networks
- learning algorithm
- genetic algorithm
- neural network
- real time