Autmatos Finitos com Movimentos Vazios

Linguagens Formais e Autmatos

http://www.ybadoo.com.br/
07. Desenvolver um Autmato Finito com Movimentos Vazios (AF) sobre = {x, y, z, w}, que reconhea a
linguagem L = {w | w possui xyw ou wzz como prefixo, wzx ou wyx como subpalavra e xyy ou xwz como
sufixo}.
M = ({x, y, z, w}, {q1, q2, q3, , q26, q27, q28}, , q1, {q28})
q12

q2

q3

q4

q5

q21

q11

q12

q7

q8

q13

q15

q25

q14

q20

q16

q17

q21

q24

q23

q28

x, y, z, w

q25

q25

q1

{q2, q6}

q2

{q3}

q3

{q4}

q4

{q5}

q5

{q10, q12, q16}

q6

{q7}

q7

{q8}

q8

{q9}

q9

{q10}

q10

{q10}

{q10}

{q10}

{q10}

{q11, q15}

q11

{q12}

q12

{q13}

q13

{q14}

q14

{q19, q21, q25}

q15

{q16}

q16

{q17}

q17

{q18}

q18

{q19, q21, q25}

q19

{q19}

{q19}

{q19}

{q19}

{q20, q24}

q20

{q21}

q21

{q22}

q22

{q23}

1 de 2

q22

q18

q19

q21

x, y, z, w

q9

q10

q1

q6

q16

q26

q27

Autmatos Finitos com Movimentos Vazios

Linguagens Formais e Autmatos
http://www.ybadoo.com.br/

q23

{q28}

q24

{q25}

q25

{q26}

q26

{q27}

q27

{q28}

q28

2 de 2