On Alternating omega-Automata.

Peter A. Lindsay

Published in: J. Comput. Syst. Sci. (1988)

Keyphrases

cellular automata
probabilistic automata
finite automata
finite state machines
lattice gas
regular expressions
finite state
tree automata
bayesian networks
mobile robot
automata theoretic