Corrigé TD 4 : Formes normales et automates

Corrigé TD 4 : Formes normales et automates

Corrigé TD 4 : Formes normales et automates. Exercice 1. On va éliminer les variables improductives puis inaccessibles. Question 1: Exercice sur la première ...