Arborescence des pages
ConfigureOutils de l'espace
Aller directement à la fin des métadonnées
Aller au début des métadonnées

ISS8AD

Foundation of Computing

 

Crédits : 4 ECTS

Durée : 42 heures

Semestre : S8

Responsable(s) :

Jean-Yves MARION, Professeur, jean-yves.marion@univ-lorraine.fr, Guillaume Bonfante, Maître de conférences, guillaume.bonfante@univ-lorraine.fr

Mots clés :  automates, grammaire, sémantique, calculabilité, compilation

Pré requis : bonne maîtrise d'un langage de programmation, mathématique

Objectif général : Concepts fondamentaux de l'informatique, compilation

 


Théorie des langages
-Automates d'états finis
-Langages réguliers, théorème de Kleene, lemme de la pompe
- Automates à piles et machine de Turing
- langages algébriques, ambiguité, grammaires LR, LL, RR
- Décidabilité
Sémantique
- Compilation, interprétation
- Sémantiques opérationnelles, axiomatiques, dénotationnelles
- Compilation
- analyse lexicale, syntaxique, arbre de syntaxe abstrait
- application à un langage cible e.g. X86
- Modèle de la mémoire, et optimisation de code

 

Compétences : 

Niveaux

Description et verbes opérationnels

Connaître 

Les concepts fondamentaux de l'informatique comme les langages, la calculabilité, l'indécidabilité, le théorème de Rice, la sémantique, la compilation

Comprendre 

Le lien entre langages et automates
La notion de configuration, de sémantique opérationnelle 'small-step', 'big-step'

Appliquer 

La sémantique opérationnelle à un compilateur

Analyser 

Un langage informatique, sa sémantique

Synthétiser

Un compilateur

Évaluer

 

Évaluations :

  • Test écrit
  • Contrôle continu
  • Oral, soutenance
  • Projet
  • Rapport
  • Aucune étiquette