IFT-2002: Informatique théorique

Pascal Tesson

IFT-2002 Introduction 1/9

Plan de cours

Lisez le plan de cours !

I Dates importantes
I Pas de calculatrice
I Examen de reprise
I Autres politiques diverses

IFT-2002 Introduction 2/9

Plan de cours

Lisez le plan de cours !

I Dates importantes
I Pas de calculatrice
I Examen de reprise
I Autres politiques diverses
Heures de disponibilité : mercredi 14h-16h au PLT-3958. Vous pouvez
tenter votre chance à d’autres heures ou prendre rendez-vous.

IFT-2002 Introduction 2/9

Plan de cours

Lisez le plan de cours !

I Dates importantes
I Pas de calculatrice
I Examen de reprise
I Autres politiques diverses
Heures de disponibilité : mercredi 14h-16h au PLT-3958. Vous pouvez
tenter votre chance à d’autres heures ou prendre rendez-vous.
Évaluation : deux examens (35% × 2) et trois devoirs individuels
(10% × 3)

IFT-2002 Introduction 2/9

Objectifs du cours

Comprendre les fondements théoriques de l’informatique

Formaliser la notion de calcul automatique
Comprendre les limites fondamentales des ordinateurs

IFT-2002 Introduction 3/9

Objectifs du cours

Les ordinateurs ont des limites qui ne sont pas d’ordre technologique.
Exemple
Il n’existe pas de programme AnalyseBoucle qui reçoit en entrée le code
d’un autre programme X et détermine si X contient une boucle infinie.

IFT-2002 Introduction 4/9

Équations de Diophante et dixième problème d’Hilbert

Une équation de Diophante est une équation polynomiale à plusieurs

variables avec des coefficients dans Z et des exposants dans N.

x 2 + 3xy − 5xz 3 − 2 = 0

IFT-2002 Introduction 5/9

Équations de Diophante et dixième problème d’Hilbert

Une équation de Diophante est une équation polynomiale à plusieurs

variables avec des coefficients dans Z et des exposants dans N.

x 2 + 3xy − 5xz 3 − 2 = 0

On voudrait savoir si une équation donnée possède une solution entière,

c’est à dire une solution qui assigne une valeur dans Z à chaque variable.
Dans l’exemple ci-dessus, il existe au moins une solution entière :

x = −2
y =2
z =1

IFT-2002 Introduction 5/9

Équations de Diophante et dixième problème d’Hilbert

Une équation de Diophante est une équation polynomiale à plusieurs

variables avec des coefficients dans Z et des exposants dans N.

x 2 + 3xy − 5xz 3 − 2 = 0

En 1900, le mathématicien David Hilbert identifie le défi suivant : trouver

un algorithme capable de résoudre les équations de Diophante.
En 1970 Iouri Matiassevitch démontre qu’un tel algorithme n’existe pas !

IFT-2002 Introduction 5/9

Modèles de calcul

Données Traitement de l’entrée suivant Résultat

en entrée une liste d’opérations précises en sortie

IFT-2002 Introduction 6/9

Modèles de calcul

Données Traitement de l’entrée suivant Résultat

en entrée une liste d’opérations précises en sortie

En spécifiant la manière dont les données sont reçues, le type d’opérations

disponibles pour traiter l’entrée et la façon de produire un résultat, on
obtient ce qui est appelé un modèle de calcul.

IFT-2002 Introduction 6/9

Modèles de calcul

Nous étudierons trois modèles de calcul, de plus en plus sophistiqués, et

étudierons leurs limites respectives
Automates finis : modèle extrêmement simple. Incapable de savoir si
son entrée est un bloc de 0 suivis d’un bloc de 1 de même longueur.
Automates à pile. Incapable de savoir si son entrée est constitué d’un
bloc de 0 suivi d’un bloc de 1 de même longueur et d’un bloc de 0
également de même longueur. Lien avec les grammaires
non-contextuelles utilisées en compilation.
Machines de Turing. Modèle qui paraît aussi rudimentaire mais
capable de faire n’importe quel calcul fait sur un ordinateur moderne.

IFT-2002 Introduction 7/9

Modèles de calcul

Pourquoi étudier des modèles qui sont moins sophistiqués que les
ordinateurs qu’on utilise ?
Première étape instructive
Plus un modèle est sophistiqué, plus le comportement des machines de
ce type est difficile à analyser.
Ces modèles qui peuvent paraître artificiels ont en réalité des
applications pratiques. (Voir les cours de spécification formelle
(GLO-3004) et de compilation et interprétation (IFT-3101))

IFT-2002 Introduction 8/9

Limites relatives et absolues des ordinateurs

Certaines limites des ordinateurs sont d’ordre technologique (processeur

trop lent, mémoire trop limitée). Certaines limites sont par contre absolues :
Dans certains cas, aucun algorithme ne peut exister pour la tâche à
effectuer. (Par exemple le problème des équations de Diophante) Nous
discuterons de ces problèmes à la fin du semestre.
Dans d’autres cas, il n’existe aucun algorithme efficace pour effectuer
la tâche demandée et même un ordinateur très puissant ne pourra
l’utiliser que sur des instances très petites. Ce type d’enjeu est étudié
dans le cours de conception et analyse d’algorithmes (IFT-3001).

IFT-2002 Introduction 9/9