DOI10.3233/FI-2015-1143zbMath1341.68088MaRDI QIDQ2805397
Manfred Droste, Doreen Heusel
Publication date: 11 May 2016 Published in: Fundamenta Informaticae (Search for Journal in Brave)
zbMATH Keywords
unranked tree; bimonoid; nested weighted automaton; support of a tree series; weighted pushdown automaton; weighted unranked tree automaton
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q70: Algebraic theory of languages and automata