Stage LIESSE
|
|
Langages formels
|
N.B.: Ces
descriptif et programme sont
donnés à
titre indicatif et peuvent évoluer.
Table des
matières
Nouveautés
- 11/05/15 : 7 inscrits. Les inscriptions sont closes, merci de votre compréhension.
- 03/12/14 : création de cette fiche.
Informations
générales
- Thème
: Informatique théorique : Théorie des langages, analyse lexicale, analyse syntaxique
- Date de la session : Mardi 12 mai 2015
- Type de stage : Cours
- Auditoire
attendu : les professeurs de mathématiques supérieures et
spéciales, en mathématiques, physique, chimie, informatique et sciences
de l'ingénieur.
Pré-requis : Aucune
connaissance préalable n'est requise. Il est seulement supposé que
l'auditeur maîtrise quelques éléments de mathématiques enseignés en
première année universitaire.
Inscription libre
mais obligatoire, voir ci-dessous.
- Lieu: Laboratoire LabSoC
de Télécom ParisTech - c/o EURECOM, Campus
SophiaTech, Les Templiers, 450 route des Chappes, 06410 Biot (comment
venir?).
- Volume
horaire et programmation
: voir ci-dessous
- Responsable
pédagogique : Rabea Ameur-Boulifa
- Contact
: liesse@telecom-paristech.fr
- Intervenants :
Rabea Ameur-Boulifa, enseignante-chercheuse au département Comelec de Télécom
ParisTech.
- Page Web de
présentation : maintenue
par Télécom ParisTech
- Seuil
d'ouverture / Numerus clausus : 5 / 50
- Inscription
(libre mais obligatoire) : Inscription de préférence en ligne ici ou
par
mél à liesse@telecom-paristech.fr
Synopsis
L'objectif de
ce cours est de s'initier aux fondements théoriques des langages de
programmation, en particulier aux langages formels, à la théorie des
automates
ainsi qu'à l'analyse lexicale et syntaxique.
Le cours comprendra un exposé magistral divisé en trois parties. Chaque partie se terminera par des exercices dirigés.
Programme
- Matin
- 9h30 - 9h45 : Accueil
- 9h45 - 10h00 : Présentation du stage
- 10h00
- 12h30 : Introduction de différents formalismes pour la définition des
langages formels: expressions régulières, automates et grammaires.
Langage régulier : alphabet, chaîne et langage; opérations sur les chaînes; ensemble régulier et expressions régulières;
Automate fini déterministe : automate fini déterministe, automate fini
non déterministe, algorithmes de traduction d’une expression
régulière vers un automate fini déterministe.
- 12h30 Déjeuner
- Après-midi
- 13h30
- 16h30 :
Construction d’analyseurs lexicaux : introduction à un outil de construction automatique d’analyseurs lexicaux.
Notion de grammaire, différentes classes de grammaire.
Introduction à l’analyse syntaxique : graphe d’une grammaire; analyse
descendante et analyse ascendante à l’aide d’une recherche en largeur.
- 16h30 : Clôture
Documents
dernière
modification 11-mai-2015