The Generative Power of Delegation Networks
2015 (English)In: Information and Computation, ISSN 0890-5401, E-ISSN 1090-2651, Vol. 245, 78 p.213-258 p.Article in journal (Refereed) Published
A device that generates trees over a ranked alphabet, together with an interpretation of the symbols in that alphabet as functions or relations on some domain, generates subsets of that domain. This concept of tree-based generators is well known and essentially already present in the seminal paper by Mezei and Wright from 1967. A delegation network is a system consisting of a finite set of such generators that can "delegate" parts of the generation process to each other. It can be viewed as consisting of an (extended) IO context-free tree grammar and an interpretation. We investigate the language-theoretic properties of these systems and establish several characterizations of the generated languages. In particular, we obtain results in the style of Mezei and Wright. We also study the hierarchy of tree language classes obtained by iterating the concept of delegation, and show that this hierarchy is properly contained in the closure of the regular tree languages under nondeterministic macro tree transductions, but not contained in the IO-hierarchy.
Place, publisher, year, edition, pages
2015. Vol. 245, 78 p.213-258 p.
Research subject Computer Science
IdentifiersURN: urn:nbn:se:umu:diva-101493DOI: 10.1016/j.ic.2015.04.005ISI: 000368899100014OAI: oai:DiVA.org:umu-101493DiVA: diva2:799737