A la recherche de générateurs codes pour les langages de mots infini

- L = a 2 + ba 2 + ba.
- u 2 = b 2 a n 1 ba n 2 R b b 2 a n 1 ba ω − →.
- w = b 2 a n 1 ba n 2 ba n 3.
- a i 0 aba i 1 aba ω ∈ W ω.
- a i 0 aba i 1 aba i 2 ∈ W.
- L = a 2 + a 3 + aba + aba 2 _ a ]b 2 Stab(L ω.
- a 2 + a 3 ba + a 3 b + ba + b.
- a 3 + a 2 ba + a 2 b + a 4 ba + a 4 b + ba + b.
- a 2 ba + a 4 ba + a 4 b.
- a 2 + a 3 + aba + aba 2 2.
- a i 0 aba ω ∈ L ω _ aba ω.
- a i 0 aba i 1 aba ω ∈ L ω _ a i 0 aba i 1 a.
- a i 0 aba i 1 aba i 2 ∈ R