EXERCÍCIOS DE LINGUAGENS FORMAIS – EXERCÍCIO 01

LEIA ATENTAMENTE AS INSTRUÇÕES, OU O EXERCÍCIO NÃO SERÁ

ACEITO:
• Todas as questões devem ser manuscritas.
• O exercício deve ser entregue de maneira integral. Se faltar alguma questão, ele
não valerá nada.
• Se o exercício for entregue depois do prazo, não valerá nada.
• Todos os exercícios devem estar com o cabeçalho abaixo completo, escrito no
início da folha de entrega. Sem o cabeçalho, o exercício não valerá NADA.

Nome:

Matricula: Turno:

Disciplina: Exercício
Número:

EXERCÍCIO 01:

Construa expressões regulares que reconheçam as linguagens abaixo.

Considere: Σ = {0,1}

a) Terminadas em 11101 e iniciadas por 11;

b) Terminadas por 00, mas que tenham, ao menos um 1;
c) Iniciadas por 2;
d) Iniciados e Terminados com 11;
e) Que não terminem em 10 e possuam, ao menos, três elementos;
f) Que não iniciem com 00 e terminem com 1;
g) Que aceite somente {1, 01, 100, 001, 101010};
h) Iniciados por 0 e que aceite 1110101;
i) Que possuam vários 1's, apenas três zeros e aceite o vazio;
j) Que não possua uns;
k) Que tenha 000 e 111;
l) Que tenha um número impar de zeros;
m) Todas as cadeias com comprimento múltiplo de 4.
 EXERCÍCIOS DE LINGUAGENS FORMAIS – EXERCÍCIO 02

LEIA ATENTAMENTE AS INSTRUÇÕES, OU O EXERCÍCIO NÃO SERÁ

ACEITO:
• Todas as questões devem ser manuscritas.
• O exercício deve ser entregue de maneira integral. Se faltar alguma questão, ele
não valerá nada.
• Se o exercício for entregue depois do prazo, não valerá nada.
• Todos os exercícios devem estar com o cabeçalho abaixo completo, escrito no
início da folha de entrega. Sem o cabeçalho, o exercício não valerá NADA.

Nome:

Matricula: Turno:

Disciplina: Exercício
Número:

EXERCÍCIO 02:

1) Construa autômatos finitos determinísticos que reconheçam as expressões

regulares abaixo. Use a regra da cadeia mínima. Considere: Σ = {0,1,2}

a) L = (0* 1 (00*1)+ 10 (10)* 2 0*1*20)* ∪ 0020 01*10

b) L = ((11)*001*2*0)* ∪ (11010*01+) +

c) L = (10*1)*0120*1*2+0*1 ∪ (10021)+ ∪ 101

d) L = 10 (01+0)*1 0(10*1)+ 0 ∪ (120+000*10)* ∪ (1002)*

e) L = ~ ( (220*1*2)* ∪ (202)* ∪ (21(01)*2)*)

f) L = (01*2 ∪ 12*0)* ∪ 20*1

g) L = (01+2 (1 ∪ 0) 2 1)* ∪ ~ (101)+

h) L = 102 (0*1*2*)* ∪ 1+201

2) Construa autômatos finitos determinísticos que reconheçam as expressões

regulares abaixo. Use a regra da transformação. Considere: Σ = {0,1,2}

a) L = 1*2*0*1*(01)* 0

b) L = 010(0*1*2*)* 0 1*2*0 ∪ 11(10)* 1 (01)+ 0

c) L = 11 (0*1*2*)* 11 ∪ (10(101)*101*)+
 EXERCÍCIOS DE LINGUAGENS FORMAIS – EXERCÍCIO 03

LEIA ATENTAMENTE AS INSTRUÇÕES, OU O EXERCÍCIO NÃO SERÁ

ACEITO:
• Todas as questões devem ser manuscritas.
• O exercício deve ser entregue de maneira integral. Se faltar alguma questão, ele
não valerá nada.
• Se o exercício for entregue depois do prazo, não valerá nada.
• Todos os exercícios devem estar com o cabeçalho abaixo completo, escrito no
início da folha de entrega. Sem o cabeçalho, o exercício não valerá NADA.

Nome:

Matricula: Turno:

Disciplina: Exercício
Número:

EXERCÍCIO 03:

Construa gramáticas que reconheçam as expressões abaixo:

Considere: Σ = {0, 1, 2}

a) L = 0 (0*1*)* 1 (0*1*)*0 ∪ λ

b) L = 0*(0*1*2*)*1*(0*1*2*)*2*

c) L = λ ∪ 01 ∪ (1+0)* ∪ 1N1 ∪ 00 / N >= 2

d) L = 1 03N 0*1+1M (20)4N 10*2+ / N >= 1 M >= 2

e) L = 0* (0 (0*1*2*)* )5N 01*(2*0)N 0* / N >= 0

f) L = (0 (0* 1* 2*)* 2 1*2)3N 0 (1(0*1)+01)4N / N >= 2

g) L = 03M (0*1*2*)*1M ∪ (1+ 0 M 1 2M 0+ (20*)3M 2+ 0*1)* 2+ / M ≥ 2

h) L = (22M 0 (21*)2N (0*1*2*)* 0N (1*0)3N (20)+ 1M 1*)+ 2+ ∪ 1+ / N ≥ 3 M ≥ 0

i) L = (25M 0N 01 (20*)+ 1 2N 08M )* / N >= 0, M >= 0

j) L = (22M 0 (21*)2M (0*1*2*)* 0N (0*1*2*)*(1*0)3N (20)+ 1M 1*)+ ∪ 0* / N ≥ 2 M ≥ 2

k) L = 0M 2 (11+0)M 2* (20*2)M 01*02M 1+ ∪ 0* / M >= 3

 EXERCÍCIOS DE LINGUAGENS FORMAIS – EXERCÍCIO 04

LEIA ATENTAMENTE AS INSTRUÇÕES, OU O EXERCÍCIO NÃO SERÁ

ACEITO:
• Todas as questões devem ser manuscritas.
• O exercício deve ser entregue de maneira integral. Se faltar alguma questão, ele
não valerá nada.
• Se o exercício for entregue depois do prazo, não valerá nada.
• Todos os exercícios devem estar com o cabeçalho abaixo completo, escrito no
início da folha de entrega. Sem o cabeçalho, o exercício não valerá NADA.

Nome:

Matricula: Turno:

Disciplina: Exercício
Número:

EXERCÍCIO 04:

4) Construa autômatos a pilha para as expressões abaixo:

Considere: Σ = {0, 1, 2}

a) L = 0 (20*2)N 0 (22)N 0 / N >= 1

b) L = 1 (12*0)N 1 (22)N 0 / N >= 2

c) L = ((11)4N 2 (21)* 0* 1 (2+0)2N 1) + ∪ 0*12 / N ≥ 0

d) L = ((20)4N 2 (21)+ 0* 1 03N 0) + ∪ (21*2)* / N ≥ 0

e) L = 2* (10)+ 112N 0 1* 2* 0 23N 1 ∪ (0 23N 01*)* / N ≥ 0

f) L = 012N 0 (02)* 1 (01)5M 22 (10)3M 2 14N 0*1+ / N >= 1 e M >= 0

g) L = 012N 0 (02)* 1 (01)5M 22 (10)3M 2 14N 0*1+ / N >= 0 e M >= 1

h) L = 012N 0 (02)* 1 (01)5M 22 (10)3M 2 14N 0*1+ / N >= 0 e M >= 0

 EXERCÍCIOS DE LINGUAGENS FORMAIS – EXERCÍCIO 05

LEIA ATENTAMENTE AS INSTRUÇÕES, OU O EXERCÍCIO NÃO SERÁ

ACEITO:
• Todas as questões devem ser manuscritas.
• O exercício deve ser entregue de maneira integral. Se faltar alguma questão, ele
não valerá nada.
• Se o exercício for entregue depois do prazo, não valerá nada.
• Todos os exercícios devem estar com o cabeçalho abaixo completo, escrito no
início da folha de entrega. Sem o cabeçalho, o exercício não valerá NADA.

Nome:

Matricula: Turno:

Disciplina: Exercício
Número:

EXERCÍCIO 05:

1) Construa Máquinas de Turing para as linguagens da questão 2 do exercício 02.

Considere: Σ = {0, 1, 2}

2) Construa Máquinas de Turing para as expressões abaixo:

a) L = 1N 00 1N / N >= 1

b) L = 0N 11*0 1N / N >= 1

c) L = 10N 1 0N 1 1* / N >= 1
 EXERCÍCIOS DE LINGUAGENS FORMAIS – EXERCÍCIO 06

LEIA ATENTAMENTE AS INSTRUÇÕES, OU O EXERCÍCIO NÃO SERÁ

ACEITO:
• Todas as questões devem ser manuscritas.
• O exercício deve ser entregue de maneira integral. Se faltar alguma questão, ele
não valerá nada.
• Se o exercício for entregue depois do prazo, não valerá nada.
• Todos os exercícios devem estar com o cabeçalho abaixo completo, escrito no
início da folha de entrega. Sem o cabeçalho, o exercício não valerá NADA.

Nome:

Matricula: Turno:

Disciplina: Exercício
Número:

EXERCÍCIO 06:

Construa Máquinas de Turing para as seguintes equações em unário:

a) X – 4 / X ∈ ΙΝ & X > 4;

b) 2X + 5 / X ∈ ΙΝ+

c) 6X – 3 / X ∈ ΙΝ+;

d) 4 (2X + 2) / X ∈ ΙΝ+;

e) 3 (3X – 4) / X ∈ ΙΝ+ & X > 2;

f) ½ (X – 8) /X>8 & (X – 8) PAR & X ∈ ΙΝ+;

g) (4X + 3) /X ∈ ΙΝ+ & (4X + 3) DIV 3;

h) 2 (X – Y) /X>Y & X,Y ∈ ΙΝ+;

i) 4(X – 2) + 1 – X / X ∈ ΙΝ+ & X > 2;

j) 5X – 2 + 1 – 2X / X ∈ ΙΝ+;