Publication:4210160
From MaRDI portal
zbMath0913.68127MaRDI QIDQ4210160
Publication date: 21 September 1998
semigroup; sorts; denotational semantics; derivation; monoid; attribute grammars; transducer; top-down; context free grammar; syntax-directed semantics; macro; inherited attribute; many sorted \(\Sigma \) algebra; synthesized attribute; tree, circularity
68Q55: Semantics in the theory of computing
Related Items
Tree-based generation of languages of fractals, Branching synchronization grammars with nested tables, The equivalence problem for deterministic MSO tree transducers is decidable, Automata for XML -- a survey, Deaccumulation techniques for improving provability, Compositions of extended top-down tree transducers, The time complexity of typechecking tree-walking tree transducers, Deciding equivalence of top-down XML transformations in polynomial time, Macro forest transducers, A comparison of tree transductions defined by monadic second order logic and by attribute grammars, Output string languages of compositions of deterministic macro tree transducers, Hierarchies of tree series transformations, Macro tree transducers, attribute grammars, and MSO definable tree translations., The complexity of the exponential output size problem for top-down and bottom-up tree transducers, From Tree-Based Generators to Delegation Networks, An Algebra for Tree-Based Music Generation, Monadic Datalog Tree Transducers, A Kleene Theorem for Forest Languages