Regular expressions for infinite trees and a standard form of automata.

Andrzej Wlodzimierz Mostowski

Published in: Symposium on Computation Theory (1984)

Keyphrases

regular expressions
tree automata
regular languages
pattern matching
finite automata
xml schema
query language
finite state machines
regular path queries
deterministic finite automata
semistructured data
domain specific
matching algorithm
graph databases
query evaluation
monadic second order logic