Informatique théorique - 3AMCS322
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Objectifs
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.
Contenu 1) Langages et expressions régulières
2) Automates finis
3) Grammaire
4) Automates à piles
5) Machine de Turing
Contrôles 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
Informations complémentaires Code de l'enseignement : 3AMCS322
Langue(s) d'enseignement : 
Le cours est rattaché aux structures d'enseignement suivantes :
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.
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
mise à jour le 25 juin 2015