• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Automates - Grammaires (INFO502_INFO)

  • Composante

    UFR Sciences et Montagne

Description

Ce cours est une introduction aux fondements théoriques de l'informatique.

Les expressions régulières sont le premier sujet abordé : indispensable à l'arsenal de tout développeur, elles lui sont utiles au quotidien.
Les langages réguliers, second sujet abordé, permettent de répondre à la question de ce qui peut être exprimé ou non à l'aide des expressions régulières. Dans un troisième temps, nous étudions les automates finis (déterministes ou non) : utiles pour comprendre comment sont reconnues ou non les expressions régulières, ils permettent souvent de modéliser des systèmes complexes.
Dans un dernier temps, sont abordés les grammaires. Ces dernières seront notamment utiles en compilation (en cours de M1).

Lire plus

Objectifs

  • Maitriser les expressions régulières et langages rationnels
  • Maitriser les automates
  • Comprendre ce qu'est une grammaire
Lire plus

Heures d'enseignement

  • Automates - Grammaires - CMCours Magistral6h
  • Automates - Grammaires - TDTravaux Dirigés7,5h
  • Automates - Grammaires - TPTravaux Pratiques12h
  • Automates - Grammaires - EAD CMEnseignement à distance1,5h

Plan du cours

1. Expressions régulières et Langages rationnels
2. Automates Déterministes et non-déterministes
3. Grammaires

Lire plus

Bibliographie

Automates à états finis et langages réguliers, Falcone et Fernandez, 2020

Lire plus