A graph theoretic approach to automata minimality.
Antonio RestivoRoberto VaglicaPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- cellular automata
- partial order
- probabilistic automata
- finite automata
- qualitative temporal reasoning
- finite state
- lattice gas
- tree automata
- finite state machines
- finite state automata
- belief change
- regular expressions
- multi agent
- timed automata
- finite automaton
- real time
- database
- markov chain
- digital libraries
- artificial intelligence
- databases