Arborescence des pages
ConfigureOutils de l'espace
Aller directement à la fin des métadonnées
Aller au début des métadonnées


Foundation of Computing


ECTS Credits : 4

Duration : 42 heures

Semester : S8

Person(s) in charge :

Jean-Yves MARION, Professor, Guillaume BONFANTE, Associate Professor,,

Keywords :  automata, grammar, algebraic language, regular language, semantics, logic, computability, compilation, complexity


Prerequisites :This course presents fundamental computing tools, which underpin most of today’s technology. The focus is on formal languages, those used traditionally and with automata, and their application to real problems.


Objective : Fondamental concepts of computer science, compilation


Program and Contents:

The first part of this course (081) deals with the theory of languages, learning about
automata, regular language, the grammar and algebraic languages.
The second part of the course (083) concerns programming languages and concentrates
on semantics.
The course is completed with a study of the limits of what is computable and addresses
certain elements in algorithmic complexity.
Theme 1: Regular languages, automata, transducers
Theme 2: Algebraic languages, grammar
Theme 3: Syntax and semantics
Theme 4: Interpretation and compilation
Theme 5: Computability and undecidability
Theme 6: Complexity




Description and operational verbs


Fondamental concepts of computer science such as computer languages, calculability, undecidability, Rice's theorem, semantics, compilation


The link between languages and automata
The notion of configuration, operational configuration 'small-step', 'big-step' 


Operational semantic to a compiler


A computer language, its semantics


A compiler



Evaluations :

  • Written Test
  • Continuous Control
  • Oral report
  • Project
  • Written report
  • Aucune étiquette