Plus facile à lire avec un fond crème, une teinte, plus de contraste ou un texte plus grand ? Choisissez vos couleurs et votre texte, une fois pour toutes les pages.

Module gratuit

Théorie du calcul

Apprenez la théorie du calcul par la pratique : automates finis, expressions régulières, grammaires, machines de Turing et limites du calcul.

5 leçonsLeçon de 285 minInformatique fondamentale

Les leçons

Chaque leçon se lit gratuitement en entier. Créez un compte gratuit pour lancer ses commandes dans un laboratoire et passer ses quiz et ses exercices.

  1. 1 · Labo de machine virtuelle

    Automate fini : états et transitions

    Je peux suivre un automate fini sur un mot et dire si ce mot est accepté.

    Lire la leçon

  2. 2 · Labo de machine virtuelle

    Expressions régulières avec grep

    Je peux écrire une expression régulière et la tester avec grep.

    Lire la leçon

  3. 3 · Labo de machine virtuelle

    Grammaires formelles et dérivations

    Je peux utiliser une grammaire pour décider si un texte est valide.

    Lire la leçon

  4. 4 · Labo de machine virtuelle

    Machine de Turing : ruban, tête et règles

    Je peux suivre une machine de Turing sur son ruban, pas après pas.

    Lire la leçon

  5. 5 · Labo de machine virtuelle

    Problème de l’arrêt et limites du calcul

    Je peux expliquer pourquoi aucun programme ne décide toutes les questions, et ce que veut dire « trop lent ».

    Lire la leçon

Travaillé dans un vrai laboratoire

Chaque leçon de ce module se travaille dans un laboratoire lancé pour vous seul. Les laboratoires utilisés :

Vous enseignez à une classe ? Proposez ce module à vos étudiants avec un guide de l'enseignant, des devoirs corrigés et un laboratoire pour chaque étudiant.