Professeure responsable
Khadidja Henni
Préalable
INF 1220
Objectifs
Comprendre et expliquer les principales notions liées à la définition formelle de langages de programmation.
Comprendre et expliquer le comportement et le traitement des automates.
Comprendre et expliquer les principales méthodes de spécification et d'analyse lexicale et syntaxique.
Appliquer les notions vues en cours à des exemples concrets.
Utiliser des outils d'écriture automatique d'analyseurs lexicaux et syntaxiques.
Contenu
Alphabet, mot, langage. Automates déterministes finis. Automates non déterministes finis. Expressions régulières. Théorème d'équivalence des expressions régulières et des automates finis (Kleene). Langages réguliers et non réguliers. Algorithme de minimisation. Langages hors contexte et automates à pile.
Matériel didactique
Site Web du cours
Manuel : Yliès Falcone Jean-Claude Fernandez (2020) Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés, à se procurer en version papier à l'Université TÉLUQ ou en version numérique chez l'éditeur.
Renseignements technologiques
Consultez l'information sur le matériel informatique recommandé.
Encadrement
L'encadrement est individualisé et assuré par la professeure responsable du cours ou par une personne tutrice. Les communications se font par téléphone ou par courriel.
Évaluation
L'évaluation repose sur quatre jeux-questionnaires (15 % chacun) et une évaluation finale (40 %).
Échelle de conversion
| Notation | Valeur numérique | Valeur en pourcentage |
|---|---|---|
| A+ | 4,3 | 96 à 100 % |
| A | 4 | 92 à 95 % |
| A- | 3,7 | 88 à 91 % |
| B+ | 3,3 | 84 à 87 % |
| B | 3 | 80 à 83 % |
| B- | 2,7 | 76 à 79 % |
| C+ | 2,3 | 72 à 75 % |
| C | 2 | 68 à 71 % |
| C- | 1,7 | 64 à 67 % |
| D+ | 1,3 | 60 à 63 % |
| D | 1 | 50 à 59 % |
| E | 0 | 0 à 49 % |
* Échelle de conversion actuellement en vigueur pour ce cours.
Particularités d'inscription
Pour s'y inscrire, on doit avoir réussi un cours de statistiques ou de mathématiques de niveau collégial (par exemple mathématiques discrètes, algèbre, calculs différentiel et intégral). Sans quoi il sera amené à réussir, au préalable, le cours MAT 1000 Outils mathématiques ou MQT 1001 Mathématiques appliquées à la gestion.