Desenvolva uma Expressão Regular (ER) sobre o alfabeto Σ = {x, y, z} e o Autômato Finito com Movimentos Vazios (AFε) correspondente, pelo Algoritmo de Thompson, que reconheça a linguagem L = {w | w possui xyz como prefixo, zxy como subpalavra e xyx como sufixo}.

ER = (xyz(x + y + z)*zxy(x + y + z)*xyx) +

          (xyzxy(x + y + z)*xyx) +

          (xyz(x + y + z)*zxyx) +

          (xyzxyx)

ER = xyz(ε + (x + y + z)*z)(ε + xy(x + y + z)*)xyx

M = ({x, y, z}, {q₀, q₁, q₂, q₃, q₄, q₅, q₆, q₇, q₈, q₉, q₁₀, q₁₁, q₁₂, q₁₃, q₁₄, q₁₅, q₁₆, q₁₇, q₁₈, q₁₉, q₂₀, q₂₁, q₂₂, q₂₃, q₂₄, q₂₅, q₂₆, q₂₇, q₂₈, q₂₉, q₃₀, q₃₁, q₃₂, q₃₃, q₃₄, q₃₅, q₃₆, q₃₇, q₃₈, q₃₉, q₄₀, q₄₁, q₄₂, q₄₃, q₄₄}, δ, q₀, {q₄₄})