Universidade Federal do Pará (UFPA)

Campus Universitário de Tucuruí (CAMTUC)

Faculdade de Engenharia de Computação (FECOMP)
Disciplina: Teoria da Computação I
Professor: Otávio Noura Teixeira
Aluno (a): ______________________________________ Matrícula: _______________
Data: 12 de abril de 2021

Atividade 02
01. Considere o Autômato Finito Não-Determinístico (AFN) a seguir, sendo A o estado inicial e D o único estado
final.

Que Autômato Finito Determinístico (AFD) com δ como sua função de transição de estado aceita a mesma
linguagem? (Marque um dos itens e justifique a sua resposta)

a. Estado inicial A, estados finais C e D. δ (A,b)=B; δ (B,a)=C; δ (C,a)=D

b. Estado inicial A, estado final C. δ (A,b)=B; δ (B,a)=C; δ (C,a)=C
c. Estado inicial A, estado final D. δ (A,b)=B; δ (B,a)=D; δ (B,b)=C; δ (C,a)=D
d. Todas as respostas acima estão corretas.
e. É impossível converter esse AFN em AFD.

02. Construa os diagramas dos AFε que reconhecem as linguagens geradas pelas ERs abaixo e, ainda, defina as
linguagens denotadas por elas:

a. a* (b + (a + b))* b
b. a + ((ab)* + bb)*
c. 0 + 10*
d. (0 + 1)0*
e. (0011)*
f. (0 + 1)* 1(0 + 1)*
g. (0+1)(001100)*(1+0)

03. Com base na Gramática Regular:

G = ({ S, A, B, C, D, E, F, G }, { a, b, c, d, e }, P, S)

Construa o respectivo Autômato Finito Determinístico (AFD) e a sua Expressão Regular (ER):
 P: S→ aA | bD | cE | dG
A → aA | bA | eB | ε
B → aC | bC
C → aC | bC | eB | ε
D → bD | ε
E → cF | aE
F → aF | bF | ε
G → aG | bG | e

04. A partir da Expressão Regular: (ab*aaa + bbb)* + ab, construa: (a) AFε; (b) AFN; (c) AFD; (d) MinAFD; (e) GR;
(f) Pseudocódigo do Reconhecedor a partir da GR.

05. Construa: (1) a Gramática Regular (GR); (2) a Expressão Regular (ER); (3) e o pseudocódigo da Máquina de
Estados Finitos (MEF): fita de entrada, unidade de controle e função de transição (pseudocódigo do
reconhecedor gerado a partir da GR).