Un transducteur T est un ensemble de deux automates (A1,A2)
T reconnaît le langage RT = {(u,v) \in (A*)² / il existe (w,u1,u2) \in (A*)^3 et q \in Q1 inter Q2 (états communs à A1 et A2) tels que u = w.u1 et v = w.u2, avec u1 \in L_{A1}(q) et u2 \in L_{A2}(q)}
L_{A1}(q) = le langage reconnu par A1 en prenant q comme état initial
Dire si ces trois langages sont reconnaissables par des transducteurs :
L1 = {(u,u) / u \in A*}
L(a,b) = {(u.a^n,u.b^m) / u \in A* et (n,m) \in IN²}
L'(a,b) = {(u.a^n,u.b^n) / u \in A* et n \in IN}
---------------
Tell me why all the clowns have gone.