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