Escolar Documentos
Profissional Documentos
Cultura Documentos
Teoria da Computao
http://www.ybadoo.om.br/
!". Desenvolver uma mquina de Turing, sobre o alfabeto {0, 1}, que verifique se os nmeros binrios
fornecidos pelo usurio so nmeros binrios pares. seguir, so apresentados alguns e!emplos de
entradas poss"veis de serem fornecidas pelo usurio com seus respectivos resultados.
#ntrada $ %ita &a'da $ %ita &tatus
1010 indiferente aceita
1011 indiferente re#eita
11 indiferente re#eita
10 indiferente aceita
indiferente re#eita
&o(uo !)
$ % &{0, 1}, {q0, q1, q'}, , q0, {q'}, , , (
&, , D(
&0, 0, D(
&1, 1, D(
q
0
q
1
q
'
&0, 0, D(
&, , )(
! )
q! &q0, 0, D( &q0, 1, D(
&q1, , )( &q0, , D(
q) &q', 0, D( * * *
q" * * * *
1 de +
Mquinas Universais Mquina de Turing
Teoria da Computao
http://www.ybadoo.om.br/
Testando a entrada )!)!
1 0 1 0
q0
1 0 1 0
q0
1 0 1 0
q0
1 0 1 0
q0
1 0 1 0
q0
1 0 1 0
q0
1 0 1 0
q1
1 0 1 0
q' ,)-T
' de +
Mquinas Universais Mquina de Turing
Teoria da Computao
http://www.ybadoo.om.br/
Testando a entrada )!))
1 0 1 1
q0
1 0 1 1
q0
1 0 1 1
q0
1 0 1 1
q0
1 0 1 1
q0
1 0 1 1
q0
1 0 1 1
q1 .)/)-T
0 de +
Mquinas Universais Mquina de Turing
Teoria da Computao
http://www.ybadoo.om.br/
&o(uo !"
$ % &{0, 1}, {q0, q1, q'}, , q0, {q'}, , , (
&, , D(
&1, 1, D(
q
0
q
1
q
'
&, , )(
&0, 0, D(
&0, 0, D(
&1, 1, D(
! )
q! &q1, 0, D( &q0, 1, D( *
&q0, , D(
q) &q1, 0, D( &q0, 1, D(
&q', , )(
*
q" * * * *
1 de +
Mquinas Universais Mquina de Turing
Teoria da Computao
http://www.ybadoo.om.br/
Testando a entrada )!)!
1 0 1 0
q0
1 0 1 0
q0
1 0 1 0
q0
1 0 1 0
q1
1 0 1 0
q0
1 0 1 0
q1
1 0 1 0
q' ,)-T
2 de +
Mquinas Universais Mquina de Turing
Teoria da Computao
http://www.ybadoo.om.br/
Testando a entrada )!))
1 0 1 1
q0
1 0 1 1
q0
1 0 1 1
q0
1 0 1 1
q1
1 0 1 1
q0
1 0 1 1
q0 .)/)-T
+ de +