Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Language theory 2 - 3MMTL2

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Number of hours

    • Lectures : 13.5
    • Tutorials : 15.0
    • Laboratory works : 4.5
    • Projects : -
    • Internship : -
    • Written tests : -
    ECTS : 3.0
  • Officials : Nicolas PELTIER

Goals

Introduction to technics for language description and analysis. Application to programming languages. Basic notions of computability theory (algorithms, computable functions, undecidability).

Content

I Context-free languages
1. Context-free grammars
2. context-free analysing (general top-down and bottom-up algorithms, LL(*) method)

II Programming language descriptions and analysis
1. lexicography, syntax, static and dynamic semantics
2.Compiler architectures : lexical and syntactic analysers
3. Attributes grammars and static semantics

II Computability theory
1. Turing machines, computable functions
2. existence of incomputable functions, undecidability of the halting problem
3. decision problems on languages.

Prerequisites

Language Theory 1

Tests

One written exam

N1=E1
N2=E2

Calendar

The course exists in the following branches:

  • Curriculum - Core curriculum - Semester 6
see the course schedule for 2020-2021

Additional Information

Course ID : 3MMTL2
Course language(s): FR

The course is attached to the following structures:

You can find this course among all other courses.

Bibliography

  • J. Hopcroft, R. Motwani, J. Ullman : Introduction to Automata Theory, Languages, and Computation. (3rd edition, 2006).
  • Pierre Berlioux, Michel Lévy : Théorie des langages, polycopié Ensimag
  • T. Parr: The Definitive ANTLR 4 Reference (2nd edition, 2013).
  • N. J. Cutland : Computability. Cambridge University Press 1980
  • A. Aho, M. Lam, R. Sethi, J. Ullman : Compilers. Principles, Techniques and Tools, Addison-Wesley (2nd edition, 2013).

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

Date of update January 15, 2017

Université Grenoble Alpes