Summary
Van Wijngaarden grammars are a very useful instrument for syntactically describing even the most complex languages. This is illuminated specifically by describing the language of valid formulas of first order logic by a van Wijngaarden grammar.
Normal forms of van Wijngaarden grammars and restrictions which guarantee decidability are discussed and ALGOL 68 is considered under these views.
Similar content being viewed by others
References
Baker, J. L.: Grammars with structured vocabulary: A model for the ALGOL 68-definition. Information and Control 20, 351–395 (1972)
Greibach, S. A.: Some restrictions on W-grammars. ACM, Proceedings of the 6th Symposium on the Theory of Computing, Seattle, May 1974
Heilbrunner, S.: Gleichungssysteme für Zeichenreichen. TU München, Abtlg. Mathematik, Bericht Nr. 7311, 1973
Maurer, H.: Theoretische Grundlagen der Programmiersprachen; Mannheim: Bibliographisches Institut 1969
Naur, P. (ed.): Revised Report on the Algorithmic Language ALGOL 60. Numerische Mathematik 4, 420–453 (1963)
Pair, C.: Concerning the syntax of ALGOL 68. ALGOL Bull. 31, 16–27 (1970)
Schneider, H.-J.: Ein formales Verfahren zur maschinellen Sprachanalyse. Dissertation, Hannover 1965
Schneider, H.-J.: Die Berücksichtigung von Kasus, Genus und anderen Spezifikationen bei formalen Grammatiken natürlicher Sprachen. Elektronische Datenverarbeitung 5, 245–248 (1966)
Sintzoff, M.: Existence of a van Wijngaarden syntax for every recursively enumerable set. Annales de la Société Scientifique de Bruxelles, T. 81, II (1967)
Smullyan, R. M.: First order logic. Berlin-Heidelberg-New York: Springer 1968
van Wijngaarden A. (ed.): Report on the Algorithmic Language ALGOL 68. Numerische Mathematik 14, 79–218 (1969)
van Wijngaarden, A., et al. (eds.): Revised Report on the Algorithmic Language ALGOL 68. Supplement to ALGOL BULLETTIN 36 and Dep. Comp. Sc., University of Alberta, Edmonton, Technical Report TR 74-3, March 1974
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Deussen, P. A decidability criterion for van Wijngaarden grammars. Acta Informatica 5, 353–375 (1975). https://doi.org/10.1007/BF00264566
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264566