On regular tree languages and deterministic pushdown automata.

Jan Janousek Borivoj Melichar

Published in: Acta Informatica (2009)

Keyphrases

regular tree languages
tree automata
xml schema
tree languages
finite state
regular expressions
finite automata
model checking
xml documents
xml data
context free grammars
context free
data exchange
object oriented
ordered trees
integrity constraints
database
xml queries
conceptual model
relational databases