Publication:4138171
From MaRDI portal
zbMath0363.68104MaRDI QIDQ4138171
Publication date: 1976
68Q45: Formal languages and automata
Related Items
Alphabetic and synchronized tree transducers, Composition closure of linear extended top-down tree transducers, Equational tree transformations, Determinacy and rewriting of functional top-down and MSO tree transformations, Equational weighted tree transformations, Compositions of extended top-down tree transducers, Extended multi bottom-up tree transducers, Extended macro grammars and stack controlled machines, Morphismes et bimorphismes d'arbres, Multiple context-free tree grammars: lexicalization and characterization, Bottom-up unranked tree-to-graph transducers for translation into semantic graphs, Linking theorems for tree transducers, A Mechanized Theory of Regular Trees in Dependent Type Theory, Equational Weighted Tree Transformations with Discounting, Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition, Tree Transformations and Dependencies, Extended Multi Bottom-Up Tree Transducers, Unnamed Item