Alternating Automata with Start Formulas.

Andrzej Wlodzimierz Mostowski

Published in: Inf. Process. Lett. (1990)

Keyphrases

cellular automata
regular expressions
finite automata
probabilistic automata
finite state
database
neural network
social networks
pattern matching
finite state machines
tree automata
conjunctive normal form
lattice gas