The formal power of one-visit attribute grammars
type: Item
instance of: scholarly article
title: The formal power of one-visit attribute grammars
zbMATH Open document ID: 0471.68044
DOI: 10.1007/BF00289307
author: Joost Engelfriet
author: Gilberto File
published in: Acta Informatica
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 3738931
zbMATH Keywords: derivation tree
zbMATH Keywords: one-pass left-to-right attribute grammars
zbMATH Keywords: one synthesized attribute
zbMATH Keywords: deterministic top-down tree transduction
zbMATH Keywords: output languages
zbMATH Keywords: macro tree languages
describes a project that uses: ALGOL 68
MaRDI profile type: Publication
cites work: Un théorème de duplication pour les forets algébriques
cites work: Semantic evaluation from left to right
cites work: IO-macrolanguages and attributed translations
cites work: Bottom-up and top-down tree transformations— a comparison
cites work: IO and OI. I
cites work: Bounded nesting in macro grammars
cites work: The intrinsically exponential complexity of the circularity problem for attribute grammars
cites work: Semantics of context-free languages
cites work: A generalized approach to formal languages
cites work: Attribute Grammars and Mathematical Semantics
cites work: k-visit attribute grammars
cites work: Mappings and grammars on trees
cites work: Generalized sequential machine maps
full work available at URL: https://doi.org/10.1007/bf00289307
OpenAlex ID: W1968022708
description: scientific article; zbMATH DE number 3738931