ALUNO: FRANK BARBOSA FERREIRA FRANCHI RA: 424818-0 Problema N 1: q Seja M = (K, , , S, {h}) onde: K= {q0, q1, h} = {a,

, b, , } S={q0} e dada pela Tabela: q0 q0 q0 q0 q1 q1 q1 q1 a b a b q1 q1 h q0 q0 q0 q0 q1 ( , ~) b a

a) Computao de M partindo da configurao (q0, aabbba). (q0, aabbba) m (q0, aabbba) m (q1, babbba) m (q0, babbba) m (q1, bbbbba) m (q0, bbbbba) m (q1, bbabba) m (q0, bbabba) m (q1, bbaaba) m (q0, bbaaba) m (q1, bbaaaa) m (q0, bbaaaa) m (q1, bbaaab)m (q0, bbaaab) m (h, bbaaab)

q0,a q0,b q1,a q1,b q1,b

q1,b q0, q0,

q0,

q1,a q0, q1,a q0, q1,a q0, q1,b q0, h,

b) Quando M iniciado em seu estado inicial q0 e tendo o smbolo corrente a ele substitui o smbolo corrente por b e altera o estado para q1, no estado q1 com o smbolo corrente b ele move o cabeote de leitura para a direita e altera o estado para q0, no estado q0 com smbolo corrente a ele substitui novamente o smbolo corrente por b e altera o estado para q1, no estado q1 com smbolo corrente b ele move o cabeote de leitura para direita e altera o estado para q0, no estado q0 com smbolo corrente b ele substitui o smbolo corrente por a e altera o estado para q1, em q1 com smbolo corrente a ele move o cabeote de leitura para direita e altera o estado para q0, em q0 com smbolo corrente b ele substitui o smbolo corrente por a e altera o estado para q1, em q1 com smbolo corrente a ele move o cabeote de leitura para direita e altera o estado para q0, em q0 com smbolo corrente b ele substitui

o smbolo corrente para a e altera o estado para q1, em q1 com smbolo corrente a ele move o cabeote de leitura para a direita e substitui o estado para q0, em q0 com smbolo corrente a ele substitui o smbolo corrente por b e altera o estado para q1, em q1 com smbolo corrente b ele move a cabea de leitura para a direita e altera o estado para q0, em q0 com smbolo corrente espao em branco ela para.

Problema N 2: q Seja M = (K, , , S, {h}) onde: K= {q0, q1, q2, h} = {a, b, , } S={q0} e dada pela Tabela: q0 q0 q0 q1 q1 q1 q2 q2 q2 a b a b a b q1 q0 q0 q1 q2 q1 q2 q2 h ( , ~)

a) Computao de M partindo da configurao (q0, abbbbaba). (q0, abbbbaba) m (q0, abbbb aba) m (q0, abbbb aba) m (q0, abbbb aba) m (q0, abbbb aba) m (q0, abbbb aba) m (q0, abbbb aba) m (q0, abbbb aba) m (q0, abbbb aba) m (q0, abbbb aba) m (q1, abbbb aba) m (q1, abbbb aba) m (q1, abbbb aba) m (q1, abbbb aba) m (q2, abbbb aba) m (h , abbbb aba)

q0,a

q0,b q0, q0, q0, q0,

q0,

q1,a q1,b

q1,

q2,

q0,

q0, q0, q0, q1, q1, q1, q2, h,

b) Quando M iniciado com estado inicial q0 com smbolo corrente b, ele move o cabeote de leitura para a direita e mantem o estado q0, em q0 com o smbolo corrente b ele move o cabeote de leitura para a direita e mantem o estado q0, em q0 com o smbolo corrente espao em branco ele move o cabeote para direita e mantem o estado q0, em q0 com smbolo corrente b ele move o cabeote de leiturapara direita e mantem o estado q0, em q0 com smbolo corrente b ele move o cabeote de leitura para direita e mantem o estado q0, em q0 com smbolo corrente espao em branco ele move o cabeote de leitura para direita e mantem o estado q0, em q0 com smbolo corrente espao em branco ele move o cabeote de leitura para direita e mantem o estado q0, em q0 com smbolo corrente espao em branco ele move o cabeote de leitura para direita e mantem o estado q0, em q0 com smbolo corrente a ele move o cabeote de leitura para esquerda e altera o estado para q1, em q1 com smbolo corrente espao em branco ele move o cabeote de leitura para esquerda e mantem o estado q1, em q1 com smbolo corrente espao em branco ele move o cabeote de leitura para esquerda e mantem o estado q1, em q1 com smbolo corrente b ele move o cabeote de leitura para a direita e altera o estado para q2, em q2 com smbolo corrente espao em branco ele para.