Abstract
The purpose of this paper is to study the formal power of certain classes of attribute-grammars (AG). We first consider the class of 1S-AG and extend a result of [DPSS]. Then we compare the formal power of "one-visit" AG with that of related types of AG. Finally, using a partial characterization of the formal power of arbitrary AG we prove some results on deciding whether an AG is (left-to-right) multi-pass.
In Section 1 we give some necessary definitions about AG and related concepts. Section 2 consists of the study of 1S-AG. In Section 3 we extend some of the results of Section 2 to "one-visit" AG and we finally summarize the relations existing among all the classes of AG we considered. In Section 4 we show that the multi-pass problem for AG is complete in exponential time. No complete proofs are given, they can be found in [EF1] and [EF2].
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
H. Alblas; The limitations of attribute-evaluation in passes, Memorandum, Twente University of Technology, 1979.
A.V. Aho and J.D. Ullman: The theory of parsing, translation and compiling, Vols. 1 and 2; Prentice-Hall, Englewood Cliffs, N.J., 1972.
G.V. Bochmann; Semantic evaluation from left-to-right, Comm. of the ACM 19 (1976), 55–62.
J. Duske, R. Parchmann, M. Sedello and J. Specht; IO-macro languages and attributed translations, Inf. and Control 35 (1977), 87–105.
J. Engelfriet and G. Filè; The formal power of one-visit attribute grammars; Memorandum 286, Twente University of Technology, 1979.
J. Engelfriet and G. Filè; work in progress.
J. Engelfriet, G. Rozenberg and G. Slutzki; Tree transducers, L systems and two-way machines; Memorandum 187, Twente University of Technology, 1977 (also in: Proc. 10-th Ann. ACM Symp. on Theory of Computing, San Diego, 1978), to appear in J. Comp. Syst. Sci.
J. Engelfriet and E. Meineche Schmidt; IO and OI, J. Comp. System Sci. 15 (1977), 328–353, and J. Comp. System Sci. 16 (1978), 67–99.
M.J. Fischer; Grammars with macro-like productions, Ph. D.Thesis, Harvard University, 1968 (see also the 9-th Conference on Switching and Automata Theory, pp. 131–142).
M. Jazayeri, W.F. Ogden and W.C. Rounds; The intrinsically exponential complexity of the circularity problem for attribute grammars; Comm. of the ACM 18 (1975), 697–706.
D.E. Knuth; Semantics of context-free languages, Math. Syst. Theory 2 (1968), 127–145, Correction: Math. Syst. Theory 5 (1971), 95–96.
K. Kennedy and S.K. Warren; Automatic generation of efficient evaluators for attribute grammars, Conf. Record of the Third Symp. on Principles of Programming Languages, 1976, 32–49.
R. Parchmann; Grammatiken mit Attributschema und zweistufige Auswertung attributierter Grammatiken, Bericht nr. 46, Technische Hochschule Aachen, Informatik, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engelfriet, J., Filè, G. (1980). Formal properties of one-visit and multi-pass attribute grammars (extended abstract). In: de Bakker, J., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 1980. Lecture Notes in Computer Science, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10003-2_70
Download citation
DOI: https://doi.org/10.1007/3-540-10003-2_70
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10003-4
Online ISBN: 978-3-540-39346-7
eBook Packages: Springer Book Archive