Course details

Selected Topics on Language Parsing and Translation

APD Acad. year 2020/2021 Winter semester

This course discusses selected advanced topic on language parsing and compilation. It concentrates especially on the recent research results from the studied area. Nevertheless, it also presents topics usually not discussed because of their complexity even if the topics are not new. In details, it is presented theory of the parsing and compilation together with practical aspects of analyzer/compiler construction.

Doctoral state exam - topics:

  1. LL (k) languages and their syntax analysis.
  2. LR and LALR languages and their syntax analysis, parsing table creation.
  3. Semantic and context addicted lexical analysis.
  4. Attributed grammars and their use for formal language analysis.
  5. Scattered context grammars and their variants, mutual relation of these variants, properties.
  6. Relation of scattered context grammars and their variants to Chomsky formal language hierarchy.
  7. Regulated pushdown automata, deterministic variants, relation to TM.
  8. LL scattered context grammars as an input for formal language analysis, construction of regulated pushdown automata.
  9. Practical implementation of parser/analyzer based on scattered context grammars - variants, optimization, limitations.
  10. The role of priorities and attributes for parsing/analyzing formal languages exploiting scattered context grammars.

Guarantor

Language of instruction

Czech

Completion

Examination (oral)

Time span

39 hrs lectures, 13 hrs projects

Assessment points

60 exam, 40 projects

Department

Lecturer

Subject specific learning outcomes and competences

Both theoretical and practical knowledge and experience from language analyzer/compiler construction based on new and advance technology.

Learning objectives

In-depth study of new and complex methods for language analysis and compilation tightly coupled with practical development of programs exploiting such methods.

Prerequisite kwnowledge and skills

formal languages and automata, principles of compiler construction, graph theory, complexity

Study literature

  • A copy of lectures
  • Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, Second Edition, Addison Wesley, Pearson, 2007, ISBN 0-321-48681-1.
  • Kolář Dušan, Meduna Alexander: Regulated Automata: From Theory towards Applications, In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05, Ostrava, CZ, MARQ, 2005, pp. 33-48, ISBN 80-86840-09-3.
  • Kolář, D.: Pushdown Automata: Another Extensions and Transformations, Brno, CZ, FIT VUT, 2005, pp. 76
  • Křoustek, J., Kolář D.: Context Parsing (Not Only) of the Object-File-Format Description Language. Computer Science and Information Systems (ComSIS),  Vol 10/4, pp. 1673-1702. ISSN 1820-0214.

Fundamental literature

  • Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, Addison Wesley, Reading MA, 1986, ISBN 0-201-10194-7.
  • Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, Second Edition, Addison Wesley, Pearson, 2007, ISBN 0-321-48681-1.
  • Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation, and Compiling, Volume I: Parsing, Prentice-Hall, Inc., 1972, ISBN 0-13-914556-7.
  • Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation,
    and Compiling, Volume II: Compiling, Prentice-Hall, Inc., 1972,
    ISBN 0-13-914564-8.
  • Meduna, A., Kolář, D.: Regulated Pushdown Automata, Acta
    Cybernetica, Vol. 14, pp. 653-664, 2000.
  • Kolář, D.: Pushdown Automata: Another Extensions and Transformations, Brno, CZ, FIT VUT, 2005, pp. 76.
  • Křoustek, J., Kolář D.: Context Parsing (Not Only) of the Object-File-Format Description Language. Computer Science and Information Systems (ComSIS),  Vol 10/4, pp. 1673-1702. ISSN 1820-0214.

Syllabus of lectures

  1. Introduction - review, LL(1) languages and their analysis.
  2. LL(k) languages.
  3. Analysis of LL(k) languages.
  4. SLR languages.
  5. LR and LALR languages - I.
  6. LR and LALR languages - II.
  7. Semantically driven lexical analysis.
  8. Attributes - role and processing.
  9. Scattered context grammars, LL modification.
  10. Regulated pushdown automata.
  11. Context languages analysis.
  12. LL scattered context grammars analysis using regulated pushdown automata.
  13. Selected topics on optimization.

Syllabus - others, projects and individual work of students

  1. An essay based on language analysis related to student's dissertation.
  2. A program based advanced compiler technology presented during lectures.

Controlled instruction

Several papers on a given topic, program construction-compiler/analyzer construction using specific techniques).

Course inclusion in study plans

Back to top