Universidade Federal da Paraı́ba

Centro de Informática

Disciplina: Teoria da Computação

Professor: Bruno Bruck

Prova 1

Instruções: Antes de começar sua prova leia atentamente as instruções abaixo

• Essa prova tem inı́cio às 10 horas do dia 05/10/2021 e término às 15:00 horas do mesmo dia;
• A prova deve ser feita em uma folha de papel a lápis ou a caneta de forma legı́vel e sem rasuras.
Questões rasuradas não serão corrigidas;

• Todas as folhas da prova devem ser assinadas e pelo menos uma deve conter o número de matrı́cula;
• Ao terminar, escaneie (ou tire uma foto) de cada folha, junte tudo em um único arquivo pdf e
submeta a prova pela plataforma Moodle;

• Provas entregues fora do prazo ou por outro meio que não seja o Moodle não serão consideradas;

Preparação: Em algumas questões dessa prova será utilizado uma cadeia binária gerada a partir do
último dı́gito da sua matrı́cula de acordo com a seguinte tabela.

dı́gito wmat dı́gito wmat dı́gito wmat dı́gito wmat

0 100110 3 001100 6 001001 9 011110

1 100100 4 101010 7 000011
2 010101 5 110000 8 101100

Você deve indicar na primeira folha da prova o número da sua matrı́cula e o respectivo valor de
wmat .

Questão 1. Considere o seguinte AFN, definido sobre o alfabeto binário.

q3 1 q4
0/1 0/1


q0 1 q1 0 q2


q5 0 q6 0 q7

a) (1,25 pts) Desenhe a árvore de processamento para esse AFN utilizando como cadeia de entrada
wmat . Ao final indique se a cadeia é aceita ou não pelo autômato e justifique sua resposta;

1
 b) (1,0 pt) Qual a linguagem reconhecida por esse autômato?
c) (1,25 pt) Converta o AFN acima para um AFD equivalente utilizando o procedimento de conversão
ensinado nas aulas.

Questão 2: Considere a sua respectiva cadeia wmat .

a) (1,0 pt) Crie uma Expressão Regular capaz de gerar cadeias que contenham wmat .

b) (1,0 pt) Converta a Expressão Regular do item anterior para um AFN.

Questão 3: Para cada uma das linguagens a seguir, definidas sobre o alfabeto binário, desenvolva um
AFN capaz de reconhecê-la. Utilize as propriedades de fecho quando for conveniente.
a) (1,0 pt) L1 = {w | w é qualquer cadeia que não contém exatamente dois 00 s}. Utilize no máximo
4 estados.
b) (1,0 pt) L2 = {w | w começa com 0 e tem comprimento ı́mpar, ou então w termina com 01}. Uti-
lize no máximo 7 estados.
Exemplos de cadeias pertencentes à essa linguagem: 000, 01, 001101, 101. Exemplos de cadeias que
não pertencem a L2 : 00, 10, 0111
c) (1,25 pt) L3 = {w | w termina com um número ı́mpar de 10 s}. Utilize no máximo 4 estados.

d) (1,25 pt) L4 = {w | w contém um número par de ocorrências da subcadeia 10}. Utilize no máximo
8 estados.