FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs.

Martin Geiger Thomas Müller-Wipperfürth

Published in: DAC (1991)

Keyphrases

algebraic structure
finite state machines
theoretical framework
hidden markov models
neural network
machine learning
computer vision
image segmentation
multi agent
multi agent systems
decision makers
propositional logic
probability theory
algebraic operations
presburger arithmetic