Bisimulation of Automata

David B. Benson Ofer Ben-Shachar

Published in: Inf. Comput. (1988)

Keyphrases

finite automata
cellular automata
regular expressions
probabilistic automata
lattice gas
special case
finite state
tree automata
formal language theory
artificial intelligence
data structure
hidden markov models
markov chain
domain independent
formal languages