Series
Preuves diverses
- 2025-01-08. 🤖 Automates Pondérés Commutatifs 🚇 (≈ 20 minutes)
Résumé
Une fois n’est pas coutume, je vais parler de la théorie des automates. Plus précisément, je vais montrer 4 preuves complètement différentes d’un même résultat sur les automates pondérés. Ce billet a le double usage de servir de référence pour ce résultat qui est connu, mais n’est pas facilement citable, mais aussi de sortir ces preuves de notes et d’échanges oraux pour ne plus y penser par la suite.