Aller au menu Aller au contenu
Grenoble INP - UGA
L'école d'ingénieur en systèmes avancés et réseaux

> Formation > Cycle Ingénieur > Filière IR&C

Informatique théorique - 3AMCS322

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

  • Volumes horaires

    • CM : 15.0
    • TD : 10.5
    • TP : -
    • Projet : -
    • Stage : -
    • DS : -
    Crédits ECTS : 3.0
  • Responsables : Vincent GUISSE

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

Calendrier

Le cours est programmé dans ces filières :

cf. l'emploi du temps 2022/2023

Informations complémentaires

Code de l'enseignement : 3AMCS322
Langue(s) d'enseignement : FR

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 cet article Facebook Twitter Linked In

mise à jour le 25 juin 2015

Université Grenoble Alpes