$ L = {xyyz in {0,1,2 } ^ {*}: y neq epsilon wedge exists_ {a in {0,1,2 }} | y | _a équiv 0 } $

Question

$ L = {xyyz in {0,1,2 } ^ {*}: y neq epsilon wedge exists_ {a in {0,1,2 }} | y | _a équiv 0 } $

Je pense que ces langues sont régulières. J'écris une expression régulière: $ (1 + 2 + 0) ^ {*} (11 + 22 + 1212 + 2121) (1 + 2 + 0) ^ {*} Cup (1 + 2 + 0) ^ {*} (11 + 00+ 1010 + 0101) (1 + 2 + 0) ^ {*} Cup (1 + 2 + 0) ^ {*} (00 + 22 + 0202 + 2020) (1 + 2 + 0) ^ {*} $

Quelqu'un peut-il vérifier ma réponse?