Je serai votre professeur de théorie du calcul et de théorie des automates

La théorie de la computation est l’un des cours d’informatique les plus difficiles. La plupart des tuteurs l’expliquent de manière mécanique. Moi, je l’explique comme le ferait un mathématicien qui construit de vrais systèmes d’IA : d’abord l’intuition, puis la rigueur.

Sujets que je couvre :

Théorie des automates :

• Construction DFA, NFA, ε-NFA, équivalence, minimisation
• Expressions régulières et leur lien avec les automates finis
• Derivations de grammaires hors contexte, arbres de parsing, ambiguïté
• Conception d’automates à pile et équivalence avec CFG
• Variantes de machines de Turing, thèse de Church-Turing

Langages formels :

• Langages réguliers, hors contexte et récursivement énumérables
• Lemmes de pompage pour prouver la non-régularité et la non-CFL
• Classification complète selon la hiérarchie de Chomsky avec des exemples concrets

Calculabilité et complexité :

• Décidabilité et indécidabilité
• Réductions et problème de l’arrêt
• P, NP, NP-complet

Ma méthode :

• Commencer par l’intuition : pourquoi cela existe-t-il ?
• Définitions formelles précises et claires
• Exemples pratiques sur tableau blanc virtuel collaboratif
• Résumé de la session en PDF après chaque cours

Disponibilité : 6h - 20h PST / 14h - 4h GMT

Je ne résous PAS les examens, devoirs ou travaux notés. Cours uniquement.

Dites-moi la date de votre examen et les sujets faibles, je préparerai une session ciblée autour de cela.