PURE AND O-SUBSTITUTION
From MaRDI portal
Publication:3503097
DOI10.1142/S0129054107005005zbMath1142.68425MaRDI QIDQ3503097
Publication date: 20 May 2008
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
distributivity; weighted tree automaton; preservation of recognizability; Tree series substitution; tree series transducer
68Q45: Formal languages and automata
Related Items
Weighted automata and multi-valued logics over arbitrary bounded lattices, Tree-Series-to-Tree-Series Transformations
Cites Work