A Nivat Theorem for Quantitative Automata on Unranked Trees.

Manfred Droste Doreen Götze

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases

tree automata
regular expressions
finite automata
finite state
regular tree languages
tree languages
finite automaton
qualitative and quantitative
xml schema
quantitative measures
context free grammars
labeled trees
probabilistic automata
relational databases
quantitative and qualitative
von neumann