Je vais enseigner la théorie des automates et la construction de compilateurs

Vous avez du mal avec la théorie des automates ou la construction de compilateurs ? Besoin d’aide pour comprendre DFA, NFA, CFG, PDA, machines de Turing ou l’analyse lexicale et l’analyse syntaxique ?

Vous êtes au bon endroit !

J’ai enseigné et aidé des étudiants en informatique théorique, notamment en théorie de la computation et conception de compilateurs, au niveau licence et master.

Ce que je propose :

Sessions de tutorat individuelles

Aide pour les concepts

Explications basées sur des diagrammes

Problèmes pratiques et quiz

Aide à la mise en œuvre (optionnel)

Sujets sur lesquels je peux vous aider :

Théorie des automates :

• Automates finis (DFA, NFA, ε-NFA)
• Expressions régulières et langages réguliers
• Grammaires hors contexte (CFG)
• Automates à pile (PDA)
• Machines de Turing
• Lemme de pompage (pour les langages réguliers et CFL)
• Hiérarchie de Chomsky
• Classification des langages et propriétés de fermeture

Construction de compilateurs :

• Phases de la conception de compilateurs
• Analyse lexicale et tokenisation
• Expressions régulières vers NFA (construction de Thompson)
• Analyse syntaxique : analyseurs LL(1), LR(0), SLR, LALR
• Génération de code intermédiaire
• Traduction dirigée par la syntaxe
• Optimisation et génération de code