Aspects Algébriques

Les automates finis asynchrones

1.

Construire des automates déterministes équivalents aux automates asynchrones suivants :

2.

Appliquer la construction de Thompson aux expressions rationnelles suivantes :

(a)

$(ab)^\star (ba)^\star \vert aa^\star$

(b)

$ab^\star (cab^\star)^\star cba$

(c)

$((ab\vert aab)^\star a^\star)^\star$