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 Partagez cet article Facebook Twitter Linked In Google+ Viadeo
  • Number of hours

    • Lectures : 16.5
    • Tutorials : 16.5
    ECTS : 3.0

Goals

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

Contact Sylvain BOULME, Nicolas PELTIER

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

Bibliography

A. Aho, R. Sethi, J. Ullman : Compilers. Principles, Techniques and Tools, Addison-Wesley 1987
Pierre Berlioux, Michel Lévy : Théorie des langages, polycopié Ensimag
N. J. Cutland : Computability. Cambridge University Press 1980

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

Date of update January 15, 2017

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes