CENTRO UNIVERSITÁRIO CARIOCA – UNICARIOCA

TEORIA DA COMPUTAÇÃO – PROF.: JÚLIO SILVEIRA – 2022/2

ATIVIDADE SUPERVISIONADA PARA A AV2

 Trabalho em grupo: entre QUATRO e SEIS ALUNOS: SOMENTE aceitarei os trabalhos com esta configuração.
 FORMA DE ENTREGA: postagem de arquivo EXCLUSIVAMENTE no formato PDF, no link disponível no AVA.
 DATA DA ENTREGA: informada no próprio link para a postagem do arquivo.
 FORMATO DO TRABALHO:
O PDF deve ser gerado a partir de editores eletrônicos para textos e gráficos (para desenho dos grafos).
NÃO SERÃO CONSIDERADAS postagens com FOTOS ou com TEXTO MANUSCRITO.
 LEIA ATENTAMENTE AS INSTRUÇÕES: o DESENVOLVIMENTO DA QUESTÃO É OBRIGATÓRIO, quando solicitado!
 ATENÇÃO: o cabeçalho do arquivo deve conter a turma e o nome completo dos integrantes.
 MUITO IMPORTANTE: trabalho com indícios de similaridade, todos serão avaliados com grau ZERO.

Questão 1 (0.6 pontos) TEMA 5

Escreva as expressões regulares que caracterizem as linguagens a seguir. Considere o alfabeto { 0, 1 }.

a) Sequências que NÃO contenham dois símbolos iguais consecutivos (que não contenham as subsequências 00 ou 11).
b) Sequências não vazias de comprimento par, em que os símbolos inicial e final sejam idênticos.

Questão 2 (1.2 pontos) TEMA 6

Para o alfabeto de entrada I = { a, b }, construa AFD’s que reconheça as linguagens correspondentes às expressões
regulares abaixo:

a) (a*b)*
b) a*b* v b* a*
c) Sequências não vazias de comprimento par, em que os símbolos inicial e final sejam idênticos.

Questão 3 (1 ponto) TEMA 7

Para o AFN M abaixo faça o que se pede:

a,b

a a,b
q0 q1 q2

a) Converter M para o seu AFD equivalente M’, utilizando a notação utilizada nas aulas e no MATERIAL DE APOIO. A
conversão deverá OBRIGATORIAMENTE conter:
i. A tabela do AFN M;
ii. A tabela do AFD M’; e
iii. O grafo do AFD M’.

b) Escreva a expressão regular da linguagem L(M), reconhecida pelos autômatos M e M’.

Questão 4 (0.6 pontos) TEMA 9

Construa uma Máquina de Turing que processe uma sequência de entrada α ∊ { 0, 1 }* e produza uma sequência de
saída β ∊ { 0, 1 }*, conforme visto abaixo:
 Se α = λ, então β = λ
 Se |α| = 1, então β é obtida através da inversão do único bit de α.
 Se |α| > 1, então β é obtida através da inversão apenas dos bits inicial e final de α.
Exemplos: para α = 0, β=1
para α = 110101, β = 010100

Questão 5 (0.6 pontos) TEMA 9

Seja a Máquina de Turing MT, definida pelo conjunto de quíntuplas abaixo:

(0,ƀ,ƀ,3,D) (1,a,b,1,D) (2,a,b,3,D)

(0,a,a,1,D) (1,b,a,1,D) (2,b,a,3,D)
(0,b,b,1,D) (1,ƀ,ƀ,2,E)

Considere que MT irá processar a sequência de entrada dada pela configuração inicial abaixo.

a) Faça um esboço da configuração final após o processamento, incluindo:

a sequência de saída gerada,
a posição da cabeça de leitura/gravação, e
a indicação do último estado.

CONFIGURAÇÃO INICIAL: Resposta – CONFIGURAÇÃO FINAL:

 ƀ a b a b b b ƀ ƀ   


0

b) Descreva, em linhas gerais, o processamento realizado por MT. Ou seja, o que MT faz?

BOM ESTUDO!