Aspects Algébriques

Minimisation des automates finis

1.: Construire l'automate déterministe minimal qui reconnait le langage $(a\vert b)^\star ab(a\vert b)^\star$ .
2.: Minimiser l'automate suivant et en déduire le langage qu'il reconnait :

$\begin{figure}\psfig{file=minimisation1.eps}\end{figure}$
3.: Minimiser l'automate suivant et en déduire le langage qu'il reconnait :

$\begin{figure}\psfig{file=minimisation2.eps}\end{figure}$
4.: Minimiser l'automate suivant et en déduire le langage qu'il reconnait :

$\begin{figure}\psfig{file=minimisation3.eps}\end{figure}$

Jean-Baptiste Yunes
2000-02-18