Cet enseignement introduit à la théorie des langages, à la théorie des automates et à l'analyse lexicale. Une description complète est disponible dans le syllabus.
Cours intégrés : Frédéric Herbreteau (reponsable), Julien Jaeger, Frédéric Mazoit, David Renault
| Séance | Feuille d'exercices | Documents complémentaires |
|---|---|---|
| 1 | Découverte des automates finis | |
| 2 | Expressions régulières - théorème de Kleene | |
| 3 | Expressivité - lemme de l'étoile | |
| 4 | Déterminisation des automates finis | |
| 5 | Minimisation des automates finis |
|
| 6 | Introduction à l'analyse lexicale |
Si vous constatez des erreurs dans ces documents, merci de les signaler !
Les énoncés des examens des années précédentes sont disponibles ici.
Nous utilisons l'outil JFLAP pour simuler les automates finis et les algorithmes (déterminisation, minimisation, etc) étudiés dans cet enseignement.
Afin d'utiliser JFLAP sur le site de l'ENSEIRB, vous devez ajouter
le chemin /net/ens/herbrete/public/jflap/bin à votre
variable d'environnement PATH. Pour que cette
modification soit permanente, modifiez le
fichier ~/.bash_export sur votre compte, en ajoutant
la ligne suivante à la fin du fichier, avant la
commande export PATH.
PATH=$PATH:/net/ens/herbrete/public/jflap/bin
Une fois le chemin ajouté à la variable PATH, mettez à
jour l'environnement de votre shell au moyen de la commande
source ~/.bash_export. Il suffit alors d'exécuter la
commande jflap pour que l'outil se lance.
L'utilisation de l'outil JFLAP est expliquée dans les
tutoriels accessibles
depuis le site http://www.jflap.org.