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

> Formation > 1er Cycle

Informatique théorique - 3AMCS322

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

    • CM : 13.5
    • TD : 12.0
    Crédits ECTS : 3.0

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.
Contact Frederic TRAN MINH

Contenu

1) Langages et expressions régulières
2) Automates finis
3) Grammaire
4) Automates à piles
5) Machine de Turing



Prérequis

Contrôles des connaissances

E1: Examen de session 1 : document et calculatrice non autorisés
E2: Examen de session 2 : document et calculatrice non autorisés



Informations complémentaires

Cursus ingénieur->Filière IR->Semestre 2
Cursus ingénieur->Filière EIS->Semestre 2

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 Partagez cet article Facebook Twitter Linked In Google+ Viadeo

mise à jour le 25 juin 2015

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes