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

ER = (ab(a + b + c)*bca(a + b + c)*aca) +

          (abca(a + b + c)*aca) +

          (ab(a + b + c)*bcaca) +

          (abcaca)

ER = ab(ε + (a + b + c)*b)c(ε + a(a + b + c)*)aca

M = ({a, b, c}, {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₄₄})