Typeness for omega-Regular Automata.

Orna Kupferman Gila Morgenstern Aniello Murano

Published in: ATVA (2004)

Keyphrases

context free
finite automata
regular languages
cellular automata
finite state
lattice gas
data sets
regular expressions
automata theoretic
formal language theory
turing machine
temporal logic
relational databases
data structure
knowledge base
genetic algorithm
information retrieval
databases