Methoden der syntaktischen Analyse bei formalen Sprachen

Das Interesse an Algorithmen zur syntaktischen Analyse bei formalen Sprachen stammt von der Konstruktion von Ubersetzern fur Programmiersprachen und dem Bemuhen, diese Konstruktion wenigstens teilweise zu automatisieren. Inzwischen gibt es eine Fulle von sich mehr oder weniger unterscheidenden Analysemethoden, wahrend nur wenige davon in syntaxgesteuerten (d.h. anhand der formalen Beschreibung der Syntax analysierenden) Compilern oder in (teilweise) automatisch erzeugten Compilern Verwendung gefunden haben. Dieses liegt zum grosten Teil daran, daβ man bei dem Auffinden von Methoden zur effizienten syntaktischen Analyse weitgehend die Erfassung einer moglichst grosen Teilklasse der Klasse kontextfreier Sprachen erstrebte. Bei dem tatsachlichen Bau von Compilern zieht man es jedoch im allgemeinen vor, die syntaktische Beschreibung der Programmiersprache gegebenenfalls soweit zu andern, das es dafur ein zwar nur auf eine eng eingeschrankte Klasse anwendbares, aber einfaches Analyseverfahren gibt. Ferner ist die Theorie der Analysealgorithmen sehr stark auf den Fall kontextfreier Sprachen beschrankt, wahrend man neuerdings zur syntaktischen Beschreibung von hoheren Programmiersprachen wie etwa bei ALGOL 68’ auch komplexere Systeme benutzt.

[1]  Niklaus Wirth,et al.  EULER: A generalization of ALGOL and its formal definition: Part 1 , 1966, Commun. ACM.

[2]  Robert W. Floyd,et al.  Syntactic Analysis and Operator Precedence , 1963, JACM.

[3]  Stephen P. Morse,et al.  A technique for generating almost optimal Floyd-Evans productions for precedence grammars , 1970, Commun. ACM.

[4]  David Gries,et al.  Compiler Construction for Digital Computers , 1971 .

[5]  Jerome A. Feldman,et al.  Translator writing systems , 1968, Commun. ACM.

[6]  Daniel J. Rosenkrantz,et al.  Deterministic Left Corner Parsing (Extended Abstract) , 1970, SWAT.

[7]  Arthur Evans,et al.  An ALGOL 60 compiler , 1964 .

[8]  Donald E. Knuth,et al.  On the Translation of Languages from Left to Right , 1965, Inf. Control..

[9]  Robert W. Floyd,et al.  Bounded context syntactic analysis , 1964, CACM.

[10]  Siegward Backes Top-Down Syntax Analysis and Floyd-Evans Production Language , 1971, IFIP Congress.

[11]  Franklin L. DeRemer,et al.  Simple LR(k) grammars , 1971, Commun. ACM.

[12]  Jay Earley,et al.  An efficient context-free parsing algorithm , 1970, Commun. ACM.

[13]  A. J. Korenjak A practical method for constructing LR (k) processors , 1969, CACM.

[14]  David Crowe,et al.  Generating parsers for affix grammars , 1972, Commun. ACM.

[15]  Robert W. Floyd,et al.  A Descriptive Language for Symbol Manipulation , 1961, JACM.

[16]  Alfred V. Aho,et al.  Weak and Mixed Strategy Precedence Parsing , 1972, J. ACM.

[17]  Niklaus Wirth,et al.  EULER: a generalization of ALGOL, and its formal definition: Part II , 1965, CACM.

[18]  Jacques Loeck,et al.  An algorithm for the construction of bounded-context parsers , 1970, Commun. ACM.