> Formation > Cursus ingénieur
Introduction aux techniques utilisées de description et d’analyse des langages. Application aux langages de programmation. Présentation des notions de bases de la théorie de la calculabilité : algorithmes, fonctions calculables, problèmes indécidables
I Analyse syntaxique des langages hors-contextes
II Calculabilité
1. Calcul, algorithme, machine de Turing, fonctions partielles calculables
2. Propriétés :
Existence de fonctions non calculables, Indécidabilité du problème de l’arrêt, Existence d’algorithmes universels
3. Problèmes de décision sur les langages et les programmes.
Preuves par réduction: indécidabilité du problème de l'ambiguïté des grammaires hors-contextes.
Théorie des Langages 1
Programmation en langage C
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : examen écrit.
Salle spécifique :
Durée : 3h
Documents autorisés : tous documents autorisés
Matériel (ex : calculatrices): aucun matériel autorisé
Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen: écrit
Salle spécifique : non
Durée : 1h30
Documents autorisés: tous documents autorisés
Matériel: aucun matériel autorisé
Commentaires :
N1=E1
N2=E2
Le cours est programmé dans ces filières :
Code de l'enseignement : 3MMTL2
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.
mise à jour le 15 janvier 2017