Telecharger Cours

Automates de Büchi généralisés

Tout NBA a un NBA équivalent qui a un unique état initial. 2. Tout NBA a un NBA équivalent qui a un unique état acceptant. Exercice 2. Des GNBA aux langages.



Download