Construction par sous-ensembles

Tres difficile

Soit l'automate fini non déterministe (AFN) sur

\Sigma = \{a, b\}

États : $\{q_0, q_1, q_2\}$
État initial : $q_0$
États finaux : $\{q_2\}$
Transitions : $\delta(q_0, a) = \{q_0, q_1\}$ , $\delta(q_0, b) = \{q_0\}$ , $\delta(q_1, b) = \{q_2\}$

Quel langage cet automate reconnaît-il ?

Appliquer la construction par sous-ensembles pour obtenir un AFD équivalent.

Implémenter l'AFD obtenu en Python.

La solution est réservée aux abonnés

L'énoncé est en libre accès. Les indices progressifs et la solution détaillée sont réservés aux abonnés Premium.

Construction par sous-ensembles

Tres difficile

Soit l'automate fini non déterministe (AFN) sur

\Sigma = \{a, b\}

États : $\{q_0, q_1, q_2\}$
État initial : $q_0$
États finaux : $\{q_2\}$
Transitions : $\delta(q_0, a) = \{q_0, q_1\}$ , $\delta(q_0, b) = \{q_0\}$ , $\delta(q_1, b) = \{q_2\}$

Quel langage cet automate reconnaît-il ?

Appliquer la construction par sous-ensembles pour obtenir un AFD équivalent.

Implémenter l'AFD obtenu en Python.

L'énoncé est en libre accès. Les indices progressifs et la solution détaillée sont réservés aux abonnés Premium.