Disciplina:

CMP4145 – Linguagens Formais e Autômatos

Turma: A01
Créditos: 6
Carga Horária: 120 Horas/Aula
Professor: Dr. Nilson C Amaral, PhD
LFA A01 Prova N1.
Nome do Aluno(a): ___________________________________________________________

1)[1] Seja L(M) = {w|w termina com 1}, em {0,1}. Desenhe o DE, e formalize a máquina M
com seus parâmetros.

2)[2] Os seguintes DE´s de dois AFD, M1 e M2.

Responda as seguintes questões sobre essas máquinas:

a. Qual é o estado inicial?

b. Qual é o conjunto dos estados de aceite?
c. Qual sequência de estados a máquina passa com a entrada aabb?
d. A máquina aceita a string aabb?

3)[2] Dê a definição formal das máquinas M1 e M2 da questão anterior.

4)[1] Seja L(M) = {w|w é a “null string” ou termina em 0}, em {0,1}. Desenhe o DE, e
formalize a máquina M com seus parâmetros.

5)[1.5] Uma descrição formal de um grafo é dada por:

({1,2,3,4,5,6}, {(1,2), (1,5), (2,1), (2,4), (5,4), (5,6), (6,1), (6,3)}).

Desenhe o grafo e dê suas principais características

6)[1] Se A é um conjunto com k elementos. Quantos elementos têm o conjunto Potência de A?

Calcule para k = 5.
7)[1.5] Seja X = {a, b, c} e Y = {1, 2}. Calcule:

a) X x Y;
b) Y x X;
c) Y x Y = Y2;
d) X x Y x Y = X x Y2;

BOA PROVA