Department of Computer Science

https://www.univ-soukahras.dz/en/dept/cs

Lecturer	Mokdad AROUS
Information	Bachelor - Socle Commun Informatique L2 Department of Computer Science Website : https://www.univ-soukahras.dz/en/module/1219 Semester : S4 Unit : UEF411 Credit : 5 Coefficient: 2
Content	Chapitre 1 : Introduction Chapitre 2 : Alphabets, Mots, Langages Chapitre 3 : Grammaires 1. Définitions 2. Dérivation et langage engendré 3. Arbre de dérivation 4. Hiérarchie de Chomsky Chapitre 4: Automates d.états finis (AEF) 1. AEF déterministes 2. Représentations d.un automate 3. Automates équivalents et complets 4. AEF non déterministes (déterminisation) 5. Automates et langages réguliers Chapitre 5: Expressions Régulières 1. Définitions 2. Théorème de Kleene 3. Lemme de l.étoile Chapitre 6: Minimisation d.un AEF Chapitre 7: Langages Algébriques 1. Propriétés d.une grammaire régulière 2. Transformations d.une grammaire 3. Grammaire réduite 4. Grammaire propre 5. Elimination des récursivités à gauche 6. Formes normales Chapitre 8: Automates à Piles 1. Définition 2. Configuration, transition et calcul 3. Critères d.acceptation 4. Automates à piles déterministes Chapitre 9: Machine de Turing 1. Définition 2. Configuration, transition et calcul 3. Acceptation
Evaluation	Examen final = 60 % Évaluation contenue = 40 % - Mode d’évaluation (TD) : 28 p (Interrogation) + 04 p (Assiduité et participation) - Mode d’évaluation (TP) : 28 p (Travail Personnel) + 04 p (Assiduité et participation)