Defina um autômato finito que aceite a linguagem definida pela exp. regular ((a + (ba)*)c)*ab*. O autômato pode ter transições epsilon ε.
Gabriel Sotero
há 12 anos
Acho que esse abaixo funciona (desenha e vê se tá certo... Acho que tem formas mais simples, mas...)
Estado inicial: q0,
Estado final: q4,
Alfabeto: a, b, c
Estados: q0, q1, q2, q3, q4, q5
Transições:
<q0, a, q1>
<q0, b, q2>
<q0, ε, q3>
<q1, ε, q0>
<q3, ε, q0>
<q2, a, q5>
<q5, ε, q0>
<q5, c, q3>
<q1, c, q3>
<q3, a, q4>
<q4, b, q4>
Mara Maravilha
há 10 anos
mt bom!