Prepas.org

Le site de l'UPS pour les Classes Préparatoires aux Grandes Écoles

Télécom ParisTech Sophia Antipolis Informatique théorique : Théorie des langages, analyse lexicale, analyse syntaxique le Mardi 12 mai 2015

Inscription en ligne : http://www.telecom-paristech.fr/liesse/inscri-informatiq-theoriq/
Ce stage aura lieu à Sophia Antipolis (locaux d'Eurécom)

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.

Lieu : Laboratoire LabSoC de Télécom ParisTech - c/o EURECOM, Campus SophiaTech, Les Templiers, 450 route des Chappes, 06410 Biot.

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