Volumes horaires
- CM 15.0
- Projet -
- TD 10.5
- Stage -
- TP -
- DS -
Crédits ECTS
Crédits ECTS 3.0
Objectif(s)
Etre capable de :
- de maitriser les opérations sur les langages.
- formaliser des calculs automatiques
- de comprendre les limites fondamentales de calculs des ordinateurs.
- de justifier la typologie d'un langage.
- de construire un arbre d'analyse.
Responsable(s)
Vincent GUISSE
Contenu(s)
1) Langages et expressions régulières
2) Automates finis
3) Grammaire
4) Automates à piles
5) Machine de Turing
Contrôle des connaissances
E1: Examen de session 1 : document et calculatrice non autorisés, durée 1h30
E2: Examen de session 2 : document et calculatrice non autorisés, durée 1h30
CC: controle continu
Calendrier
Le cours est programmé dans ces filières :
- Cursus ingénieur - Filière IR&C - Semestre 6
- Cursus ingénieur - Filière EIS - Semestre 6
Informations complémentaires
Code de l'enseignement : 3AMCS322
Langue(s) d'enseignement : 
Le cours est rattaché aux structures d'enseignement suivantes :
- Equipe Informatique
Vous pouvez retrouver ce cours dans la liste de tous les cours.
Bibliographie
- Introduction à la Calculabilité: Cours et Exercices Corrigés, Pierre Wolper. Dunod, 2001.
- Introduction to the Theory of Computation. Second (International), Michael Sipser. Edition, Thomson Course Technology, 2005.
- Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, . Second Edition, Addison-Wesley, 2001.
