Skip to content

Commit

Permalink
Update
Browse files Browse the repository at this point in the history
  • Loading branch information
fortierq committed Sep 29, 2024
1 parent 75246d7 commit aaa7259
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion blog/2024-09-11-colle1.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ Automates :
Théorème de Kleene :
- Langage local, expression régulière linéaire.
- Algorithme de Berry-Sethi pour construire un automate (de Glushkov) à partir d'une expression régulière.
- $\epsilon$-transitions. Tout automate avec des $\epsilon$-transitions est équivalent à un automate sans $\epsilon$-transition.
- ε-transitions. Tout automate avec des ε-transitions est équivalent à un automate sans ε-transition.
- Automate de Thompson (construit récursivement) à partir d'une expression régulière.
- Méthode d'élimination des états pour obtenir une expression régulière à partir d'un automate.
- Théorème de Kleene et conséquences.

0 comments on commit aaa7259

Please sign in to comment.