Advertisement

Conception et optimisation des descentes recursives

  • Hua-Thanh-Huy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 83)

Résumé

On introduit une nouvelle famille d'automates à pile, appelés automates simples, adaptés à la conception systématique et aux manipulations formelles des analyseurs de descente récursive déterministes. Ces automates simples -analogues au "separable transition diagram"- sont construits systématiquement à partir des règles LL(1+ɛ) -des LL(1) pouvant être ambigües sur ɛ- mises sous une forme normalisée des "regular right part grammars" appellée FNBNF. Ils font l'objet de manipulations formelles pouvant être utilisées comme optimisation d'analyseurs. On étudie aussi leur programmation itérative.

Keywords

Transition Diagram Compiler Construction Recursive Descent Error Recovery Mechanism Springer Verlag Publ 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. Aho A.V.-Johnson S.C.-Ullman J.D. ‘Deterministic parsing of ambigous grammars', CACM, 1975, pp. 441–452.Google Scholar
  2. Aho A.V.-Ullman J.D. ‘The theory of parsing, translation and compiling', vol. I (1972) & vol II (1973), Prentice Hall publ.Google Scholar
  3. Arsac J. ‘La construction de programmes structurés', Dunod publ., 1977.Google Scholar
  4. Bauer F.L. ‘Historical remarks on compiler construction, in LNCS no 21. 1974, pp 603–621, Springer Verlag publ.Google Scholar
  5. Bordier J. ‘Méthodes pour la mise au point de grammaires LL(l)', thèse de 3ème cycle, Université de Grenoble, 1971.Google Scholar
  6. Conway M.E. ‘Design of a separable transition diagram compiler’ CACM 1963, pp 396–408.Google Scholar
  7. Earley J. ‘An efficient context-free parsing algorithm', CACM, 1970, pp. 94–102.Google Scholar
  8. Friede D. ‘Transition diagrams and strict deterministic grammars', in LNCS no 67, 1978, pp 113–123, Springer Verlag publ.Google Scholar
  9. Gerbier A. ‘Mes premières constructions de programmes', LNCS no 55, 1977 Springer Verlag publ.Google Scholar
  10. Griffiths M. ‘LL(l) grammars and analysers', in LNCS no 21, 1974. pp. 57–84, Springer Verlag publ.Google Scholar
  11. Gries D. ‘The use of transition matrices in compiling', CACM 1968, pp. 26–34Google Scholar
  12. Gries D. ‘Compiler construction for digital computers', 1971, J. Wiley & Sons publ.Google Scholar
  13. Hua-T-H. ‘Pratique des grammaires factorisées', notes de l'Institut de Programmation, Paris, 1973.Google Scholar
  14. Hua-T-H. ‘Contribution à l'étude des analyseurs déterministes descendants', Institut de Programmation, Paris, 1980, à paraître.Google Scholar
  15. Keller R.F. ‘On selective and repetive constructs', Sigplan Notices, Nov. 79, pp. 60–63.Google Scholar
  16. Lalonde W.R. ‘Constructing LR parsers for regular right part grammars’ Acta informatica, 1979, pp. 177–193.Google Scholar
  17. Lewi J.-de Vlamink K.-Huens J.-Huybretchs M. ‘The ELL(l) parser generator and the error recovery mechanism', Acta Informatica, 1978, pp. 209–228.Google Scholar
  18. Lomet D.B. ‘A formalization of transition diagram systems', JACM, 1963, pp. 235–257.Google Scholar
  19. Madsen O.L.-Kristensen B.B. ‘LR parsing of extended context-free grammars', Acta Informatica, 1976, pp 61–74.Google Scholar
  20. Nolin L. ‘Automates simples et langages factorisés', note de l'Institut Blaise Pascal, CNRS, Paris, 1966.Google Scholar
  21. Pleban U.F. ‘The use of transition matrices in a recursive descent compiler', Proc. of Sigplan Symp. on Compiler Construction, Sigplan Notices, Aug. 1979, pp. 144–151.Google Scholar
  22. Tixier V. ‘Recursive functions of regular expressions in language analysis', Tech. rep. no 58, Computer Science Dept., Stanford University, 1967.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Hua-Thanh-Huy
    • 1
  1. 1.Laboratoire "Informatique Théorique et Programmation" (LITP-CNRS LA 248) et Institut de Programmation, 55–65 (428)Paris Cédex 05France

Personalised recommendations