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

Question

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

Penso che queste lingue siano regolari. Scrivo un'espressione regolare: $ (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) ^ {*} $

Qualcuno può controllare la mia risposta?