Cours donnés par des enseignants d'autres sections

LANGAGES FORMELS

11X003

Enseignant

J. BUWAYA

Période

Semestre d’automne

Crédits ECTS
4
Pré-requis
néant
Évaluation
examen écrit
Sessions d’examen
février - septembre
01

Volume d’enseignement

Heures de cours par semaine et par période
PériodeCoursExercicesTPTotal
Par semaine22None4
Par semestre2828None56

Cours

2par semaine

28par semestre

Exercices

2par semaine

28par semestre

TP

Nonepar semaine

Nonepar semestre

Total

4par semaine

56par semestre

02

Objectifs

Ce cours a pour sujet l’étude et l'analyse des langages formels et de leurs éléments : les mots. Les langages formels sont des objets fondamentaux en informatique comme les langages de programmation, compilation, codages, complexité, etc… On étudie les langages formels et les systèmes qui en permettent une spécification ou représentation comme les automates, grammaires, systèmes de réécriture et logiques.

03

Contenu

Les sujets suivants seront abordés :

  1. Langages réguliers
  2. Automates à états finis
  3. Expressions et grammaires régulières
  4. Langages hors contexte
  5. Grammaires
  6. Automates à pile déterministes et non déterministes
  7. Langages récursivement énumérables
  8. Machine de Turing

Préparation pour : Complexité et calculabilité. Documentation : Liste d’ouvrages de référence et note de cours.