Você está na página 1de 5

CENTRO UNIVERSITÁRIO DE JOÃO PESSOA

PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO – PR-EG


CURSO DE CIÊNCIA DA COMPUTAÇÃO

Componente Curricular: Teoria da Computação


Professor: Hilário Tomaz Alves de Oliveira
Semestre: Período: Turma: Data de Entrega:
2019.1 5° Noite a definir

Lista de Exercícios 1 – Linguagens Regulares

Questão 1. 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)*

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

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 determinístico equivalente a expressão regular R:


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

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


a(a|bc)*b(a|b)*.

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. 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, 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 10. 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.

Questão 11. 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 𝐿1 ∩ 𝐿2 .

Questão 12. 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.