Você está na página 1de 6

Universidade*Federal*Rural* * de* * Pernambuco * Departamento * de * Estatística*e*Informática * Licenciatura*em*Computação * Teoria*da*Computação * Prof.**George* * Gomes* * Cabral *

*

*

4 a *lista*de*exercícios *

! !
!
!

Figura* 1 * 6 *Máquina*de*Turing*M2 *

1. Dada!a!Má quina!de!Turing!M2,!dê!a!seqüência!de!configurações!nas!quais!M2! entra!quando!iniciada!sobre!a!cadeia!de!entrada!indicada. ! a!) 0 !

! Uq 0 0U ! UU ! q 1 U ! UU ! q 5
!
Uq 0 0U !
UU ! q 1 U !
UU ! q 5 U!( aceita ) !
!
b!) 00 !
!
Uq 0 00U !
UU ! q 1 0U !
UUxq 2 U
UUq 4 xU
Uq 4 UxU
UUq 1 xU
UUxq 1 U
!
!
!
!
!
UUxq 5 U!!( aceita ) !
!
c!) 000 !
!
Uq 0 000U !
UU ! q 1 00U !
UUxq 2 0 U
UUx0q 3 U
!
!
UUx0q 6 U!!( rejeita ) !
!

d!) 000000 !

! Uq 0 000000U ! UUq 1 00000U ! UUxq 2 0000U UUx0q 3 000U
!
Uq 0 000000U !
UUq 1 00000U !
UUxq 2 0000U
UUx0q 3 000U
!
!
UUx0xq 2 00U
UUx0x0q 3 0U
!
!
UUx0x0xq 2 U
UUx0x0q 4 xU
UUx0xq 4 0xU
UUx0q 4 x0xU
UUxq 4 0x0xU
UUq 4 x0x0xU
Uq 4 Ux0x0xU
UUq 1 x0x0xU
UUxq 1 0x0xU
!
!
!
!
!
!
!
!
!

UUxxq 2 x0xU

UUxxxq 2 0xU

UUxxx0q 3 xU UUxxx0xq 3 U

! UUxxx0xq 6 U!!( rejeita ) !

2. Examine!a!definição!formal!de!uma!Máquina!de!Turing!e!responda!as!seguintes! questões. ! a!) Uma!MT!pode!alguma!vez!escrever!o!símbolo!branco!em!sua!fita!? ! Sim.!O!símbolo!em!branco!pode!estar!no!alfabeto!de!fita,!porém!não!no! de!entrada. ! b!) O!alfab eto!de!fita!pode!ser!o!mesmo!que!o!alfabeto!de!entrada!? ! Não.!Dessa!forma,!símbolos!escritos!pela!cabeça!poderiam!se!confundir! com!símbolos!da!cadeia. ! c!) A!cabeça!de!uma!MT!pode!alguma!vez!estar!na!mesma!localização!em! dois!passos!sucessivos!? ! Sim.!Estando!em !uma!das!extremidades!da!cadeia!(lendo!o!símbolo!em! branco)!ela!pode!ficar!emperrada!até!receber!um!comando!para!seguir! outra!direção. ! d!) Uma!máquina!de!Turing!pode!conter!apenas!um!estado!? ! Não.!Por!definição!a!máquina!deve!ter!pelo!menos!os!estados!q aceita ! e!

q

rejeita !que!são!distintos. !

3. Dê! descrições!de!MTs!que!decidam!as!seguintes!linguagens!sobre!o!alfabeto!{0,! 1}.! !

a!) {w!|!w! possui!o!mesmo!numero!de!0s!e!1s } ! i. caso!leia!símbolo!em!branco!rejeite.!Senão!vá!para!o!passo!ii. !

ii.

!

1. Procure!por!símbolos!do!alfabeto!de! entrada.!Caso!leia!

0(zero),!marque!um!x,!siga!para!a!direita!procurando!por!

um!1!(um).!Ao!encontrar!marque!um!x!e!volte!para!o!

início!da!fita.!Caso!não!encontre!o!1,!rejeite. !

2.

Procure!por!símbolos!do!alfabeto!de!entrada.!Caso!leia! um!1!(um),!marque!um!x,!si ga!para!a!direita!procurando!

por!um!0!(zero).!Ao!encontrar!marque!um!x!e!volte!para!o!

início!da!fita.!Caso!não!encontre!o!0,!rejeite. !

3. Caso!não!encontre!nenhum!símbolo!do!alfabeto!de!

entrada!(encontre!apenas!xs),!aceite. !

iii. Pule!todos!os!xs!até!encontrar!ou!um !0!ou!um!1!e!volte!para!o! passo!ii. !

b!) {w!|!w! contem!duas!vezes!mais!0s!que!1s } !

i. ! caso!leia!símbolo!em!branco!rejeite.!Senão!vá!para!o!passo!ii. ! !

ii.

1. Procure!por!símbolos!do!alfabeto!de!entrada.!Caso!leia!

1(zero),!marque!um!x!e!retorne!ao!início.!Procure!por!

dois! 0s!e!marque!x!também.! !

2. Caso!não!encontre!nenhum!símbolo!do!alfabeto!de! entrada!(encontre!apenas!xs),!aceite. !

iii. Volte!para!o!início!da!fita.!Volte!para!o!passo!ii.!

!

4. Defina!os!estados!!de!transições!!para!as!MTs!do!exercício!anterior. !

! ! (!A!) ! ! (B) ! ! !
!
!
(!A!) !
!
(B)
!
!
!

1. Desenvolva!Máquina s!de!Turing!que!computem!as!seguintes!linguagens: !

!

a!) L!=! (aba*b) ! b!) L!=!{0 n 1 n !|!n! !0} ! c!) L!=!{a n b n a n |!n! !1} ! d!) L!=!{a n b n c n |!n! !0} ! e!) L!=!{ w!|!w!=! b1 + b2! e !b1!e!b2!são!números!binários !tais!que!o!dígito!de!ordem! superior!de!ambos!é!0 } !(descrição!informal!abaixo) ! f!) L!=!{ w !|!w!=! b1 d b2! e !b1!e!b2!são!números!binários !e!b1!>!b2 } ! g!) L!=!{a i b j a k! |!k!=!max(i,!j)} ! h!) L!=!{a i b j a k !|! i !<!j!<!k} ! i!) L!=!{wcw R !!|!w R !=!w!=!na!ordem!inversa} ! j!) L!=!{ww R !!|!w R !=!w!=!na!ordem!inversa} ! k!) L!=!{a i b j c k !|!k!=! ( i! * !j ) !e!i,!j!e!k!>=!1} !

!

!

Descrição informal letra e)

1. Adicionar 1 a b2

a. vá para o segundo #

b. da direita para a esquerda troque todos os 1's por 0's

c. no primeiro 0, troque por 1

2. Subtrair 1 do b1

a. tire o complemento de 1 de b1 (troque 0's por 1's e vice-versa)

b. adicione 1 ao b1

c. tire o complemento de 1 de b1 novamente

3. Cheque se b1 é igual a zero

a. caso sim, w está no local original de b2

b. caso contrário, volta para 1.

a)

Cheque se b1 é igual a zero a. caso sim, w está no local original de

b)

Cheque se b1 é igual a zero a. caso sim, w está no local original de

c)

e) f) g)

e)

e) f) g)

f)

e) f) g)

g)

k) !

k)

!
!