قسم الإعلام الآلي

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

المحاضر	مقداد عروس
معلومات	ليســـانـس - جذع مشترك اعلام آلي ل2 قسم الإعلام الآلي الموقع : https://www.univ-soukahras.dz/ar/module/1219 السداسي : S4 الوحدة : UEF411 الدين : 5 المعامل: 2
المحتوى	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
التقييم	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)