Aspects Algébriques

Mac Naughton--Yamada

Donnez une expressions rationelle pour les langages suivants :

1.

$\{w\in\{a,b\}^\star/\vert w\vert _a=2p,\vert w\vert _b=2q+1,p,q\in\mbox{N}\}$

2.

$\{w\in\{a.b\}^\star/w\mbox{ ne contient pas le facteur }aba\}$