Finite Automata, Definable Sets, and Regular Expressions over omega^n-Tapes.

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

Keyphrases

finite automata
regular expressions
pattern matching
monadic second order logic
tree automata
query language
regular languages
xml schema
query evaluation
regular path queries
deterministic finite automata
transitive closure
finite state machines
context free grammars
database
language learning
query processing