TD Feuille 2 - Automates finis et expressions rationnelles - LaBRI

Solution de l'exercice 2 : Nous allons construire l'automate qui reconnait l'ensemble des représentations binaires des entiers positifs divisibles par 3. En ...