CENTRO UNIVERSITÁRIO DE JOÃO PESSOA - UNIPÊ

Curso: Ciência da Computação - Período: 5 - Noite

Disciplina: Teoria da Computação
Professor: MS.c. Hugo Vieira Lucena de Souza

Lista de exercício: 01
Valor de bônus: 0,5 pontos
Data da lista: 04/09/2019
Data de Entrega: Dia da prova – Pelo virtual

QUESTÃO 01: A seguir estão os diagramas de estados de dois AFDs, M1 e M2.

Responda às seguintes questões sobre cada uma dessas máquinas.

a) Qual é o estado inicial?

b) Qual é o conjunto de estados de aceitação?

c) Por qual sequência de estados a máquina passa para a entrada aabb?

d) A máquina aceita a cadeia aabb?

e) A máquina aceita a cadeia 𝜀?

f) Apresente a descrição formal das máquinas M1 e M2.

Questão 2. Considere as seguintes expressões regulares cujo alfabeto é {a, b}.

R1 = a(a ∪ b)*

R2 = b(a ∪ b)*
 CENTRO UNIVERSITÁRIO DE JOÃO PESSOA - UNIPÊ
Curso: Ciência da Computação - Período: 5 - Noite
Disciplina: Teoria da Computação
Professor: MS.c. Hugo Vieira Lucena de Souza
Se L(R) é a linguagem associada a uma expressão regular R, é correto afirmar que:

a) L(R1) = L(R2).

b) L(R2) = {w | w termina com b}.

c) Existe um autômato finito determinístico cuja linguagem é igual a L(R1) ∪ L(R2).

d) Se R3 é uma expressão regular tal que L(R3) = L(R1) ∩ L(R2), então L(R3) é uma

linguagem infinita.

e) Um autômato finito não determinístico que reconheça L(R1) ∪ L(R2) tem, pelo

menos, quatro estados.

Questão 3. Expressões regulares constituem formas sucintas de descrever linguagens

regulares. Uma de suas aplicações é descrever padrões a serem procurados em um texto.

As expressões regulares R1, R2, R3 e R4 a seguir utilizam a seguinte convenção: o fecho

de Kleene é denotado por * e a união é denotada pelo símbolo |.

R1 = a*ba*ba*ba*

R2 = a*(a | b)a(a | b)*

R3 = a*ab*a(a | b)

R4 = (a | b)*

Em relação às linguagens definidas pelas expressões regulares apresentadas, conclui-se

que a cadeia abbb está contida apenas nas linguagens definidas por

a) R1 e R4.

b) R2 e R3.

c) R2 e R4.

d) R1 e R3.

e) R2, R3 e R4
 CENTRO UNIVERSITÁRIO DE JOÃO PESSOA - UNIPÊ
Curso: Ciência da Computação - Período: 5 - Noite
Disciplina: Teoria da Computação
Professor: MS.c. Hugo Vieira Lucena de Souza
Questão 4. Marque a alternativa que representa corretamente a cadeia que é reconhecida

pelo autômato representado pelo diagrama de estados a seguir?

a) 101010

b) 111011000

c) 11111000

d) 10100

e) 00110011

Questão 5. Construa o autômato finito não determinístico equivalente a expressão regular

R: (1+0*1+)* ∪ (0+1*0+)* tal que L(R) = L(AFND).

Questão 6. Construa um autômato finito equivalente à seguinte expressão regular

a(a|bc)*b(a|b)*.
 CENTRO UNIVERSITÁRIO DE JOÃO PESSOA - UNIPÊ
Curso: Ciência da Computação - Período: 5 - Noite
Disciplina: Teoria da Computação
Professor: MS.c. Hugo Vieira Lucena de Souza
Questão 7. Dado o AFD M = ({q1, q2, q3}, {0, 1}, δ, q1, {q2}), onde δ(q1,0) = q1, δ(q1, 1) =q2,

δ(q2, 0) = q3, δ(q2, 1) = q2, δ(q3, 0) = q2, e δ(q3, 1) = q2, encontre, usando o método de

conversão para um AFN, uma expressão regular R tal que L(R) = L(M).

a) Mostre o diagrama de estados do autômato M.

b) Encontre a expressão regular equivalente.

Questão 8. Use a construção estudada em sala de aula e descrita no Teorema 1.39 do livro

texto (Livro do Sipser) para converter os dois autômatos finitos não determinísticos

apresentados a seguir em autômatos determinísticos equivalentes.

Questão 9. Construa um Autômato Finito Determinístico e uma Expressão Regular

equivalente para reconhecer as seguintes linguagens:

a) {w | w é um número inteiro positivo sem sinal}. Por exemplo: 1, 2, 3, 4, 5, 6, entre

outros.
b) {w | w é um número ponto flutuante positivo sem sinal}. Por exemplo: 1, 2.23, 3.44,
4, 5.06, 6.8976, entre outros.
 CENTRO UNIVERSITÁRIO DE JOÃO PESSOA - UNIPÊ
Curso: Ciência da Computação - Período: 5 - Noite
Disciplina: Teoria da Computação
Professor: MS.c. Hugo Vieira Lucena de Souza
Questão 10. Demonstre que as seguintes operações são fechadas para o conjunto de

linguagens regulares. Para as provas você pode usar tanto os autômatos finitos

determinísticos quanto não-determinísticos.

a) Operação de complemento 𝐿.

b) Operação de Intersecção 𝐿& ∩ 𝐿' .

Questão 11. Analise as seguintes igualdades de expressões regulares:

I. a* = (a*)*

II. (a | b)* = (b | a)*

III. a* | b* = (a | b)*

A análise permite concluir que:

a) somente as igualdades I e II são verdadeiras.

b) somente a igualdade I é verdadeira.

c) somente as igualdades II e III são verdadeiras.

d) todas as igualdades são verdadeiras.

e) nenhuma das igualdades é verdadeira

Observação: A resolução desta lista de exercícios deve ser feita de forma manuscrita.

Bons estudos!