Lista de Exerccios de LFA

Phillipi de Oliveira Giobini

Wennya Pires Kock da Cunha
Questo 6)
Seja A a linguagem das palavras de alfabeto {a, b} que possui no mximo uma
ocorrncia de aba e que no terminam em bb. Por exemplo aaaabaaab, ababba e
bbbaabbabaaaab pertencem a A, mas ababa e aaaababaaabb no pertencem. Construa
um AFN que reconhea a Linguagem A.

Teste 1:

Teste 2:

q1aaaabaaab (pertence a A)
aq2aaabaaab
aaq2aabaaab
aaaq2abaaab
aaaaq2baaab
aaaabq3aaab
aaaabaq4aab
aaaabaaq4ab
aaaabaaaq4b
aaaabaaabq6 OK!

q1aaaababaaabb (no pertence a A)

aq2aaababaaabb
aaq2aababaaabb
aaaq2ababaaabb
aaaaq2babaaabb
aaaabq3abaaabb
aaaabaq4baaabb
aaaababq6aaabb FALHOU

Questo 7)
Seja B a linguagem das palavras de alfabeto {0, 1} que no comeam em 101 e
possui exatamente uma subpalavra 000. Por exemplo 11001000, 100010 e
01011000101 pertencem a B, mas 101100 e 10000100 no pertencem.

Teste 1:

Teste 2:

q111001000 (pertence a B)
1q91001000
11q1001000
110q201000
1100q31000
11001q1000
110010q200
1100100q30
11001000q4 OK!

q110000100
1q90000100
10q10000100
100q300100
1000q40100 ERRO!

Questo 8)
Desenvolva um Autmato Finito No-Determinstico (AFN) sobre o alfabeto = {a,
b, c}, que reconhea a linguagem L = {w | w possui bac ou cbc como prefixo, bca ou
caa como subpalavra e abc ou cac como sufixo}.

Questo 9)
Seja B a linguagem das palavras de alfabeto {0, 1} que so representaes binrias de
inteiros positivos mltiplos de 4. Desenvolva um AFN que reconhea esta linguagem.

Questo 10)
Descreve um autmato finito determinstico que reconhea a linguagem A das
palavras de alfabeto {0, 1} em que no ocorrem sequncias pares de 0's
imediatamente esquerda de sequncias mpares de 1's.

Questo 11)
Desenvolva uma gramtica que gere expresses aritmticas com parnteses
balanceados, dois operadores (* e +) e um operando X. Por exemplo, as seguintes
palavras so expresses aritmticas vlidas: X; X*(X+X); (((((X))))).

Resposta:
G=({N, M, Q, D}, {X}, P, N}
P={N M | (M),
M Q S Q,
M D,
Q M | (M) | D,
D {X},
S {+ | *}}
Questo 12)
Escreve uma gramtica independente de contexto que gere a linguagem de alfabeto =
{0, 1} constituda pelas palavras em que o nmero de 0's no excede o nmero de 1's.
Resposta:
G=({N, E, U, Z}, {0, 1}, P, N}
P={N E,
E UEZ | ZEU | UE | EU,
Z {0},
U {1}}
Questo 13)
Desenvolva AFDs que reconheam as seguintes linguagens sobre ={a,b}:
a) {w| w possui nmero par de a e mpar de b}.

b) {w| w possui nmero par de a e mpar de b ou w possui nmero par de b e mpar

de a}.

Questo 14)
Sobre o alfabeto ={a,b} desenvolva um AFN que reconhea a linguagem L={w | w
possui igual nmero de smbolos a e b e qualquer prefixo de w possui, no mximo,
4

dois a a mais que b ou qualquer prefixo de w possui, no mximo, dois b a mais que
a}.
Resposta:
Este autmato no resolve para todas as palavras, existem outros autmatos capazes
de tal reconhecimento.

Questo 15)
Uma importante aplicao das linguagens formais e autmatos a especificao e o
desenvolvimento de analisadores lxicos. Apresente a Linguagem L abaixo baseada
em unidades lxicas da linguagem de programao C/C++, utilizando o formalismo
de Gramticas ou de Autmatos Finitos.
L = {w | w um nmero inteiro ou w nmero real ou w identificador}.
Resposta:
G={{N, L, D, J, I, P, K, V}, {a, , z, A, , Z, 0, , 9, _, .}, P, N}
P={N LJ,
J L | D | J,
J IK,
K DK,
K PT,
K V,
T DT,
T DV,
L {a | | z | A | | Z | 0 | | 9 | _},
D {0 | | 9},
P {.}}
5