Typeness for omega-regular Automata.

Orna Kupferman Gila Morgenstern Aniello Murano

Published in: Int. J. Found. Comput. Sci. (2006)

Keyphrases

context free
regular languages
finite automata
cellular automata
regular expressions
probabilistic automata
finite state
lattice gas
tree automata
digital libraries
multiscale
finite state machines
reinforcement learning
artificial intelligence
genetic algorithm
databases
finite state automata
real time
database