UNIVERSIDADE ESTADUAL DE MARINGÁ – UEM

CENTRO DE TECNOLOGIA – CTC

DEPARTAMENTO DE INFORMÁTICA – DIN
BACHARELADO EM INFORMÁTICA
DISCIPLINA: LINGUAGENS FORMAIS E AUTÔMATOS
PROFESSOR: YANDRE MALDONADO E GOMES DA COSTA

Lista de Exercícios no 5 – Gramática

1) Dadas as seguintes gramáticas:

G1=(V, T, P, S), onde: G2=(V, T, P, S), onde: G3=(V, T, P, S), onde:

V={S, A, B} V={S, L, C} V={S, B}

T={a, b} T={l, n} T={a, b}
P={ 1) S → AB P={ 1) S → LC P={ 1) S → AB
2) A → aA 2) L → l 2) A → Aa
3) A → a 3) C → lC 3) A → a
4) B → bbB 4) C → nC 4) B → bBb
5) B → λ } 5) C → n 5) B → λ }
6) C→ l
7) C→ λ }

a) Descreva a gramática G2 em BNF;

<S> ::= <L><C>

<L> ::= l
<C> ::= l<C> | n<C> | n | l | λ

b) Descreva qual a linguagem gerada por G1;

L(G1) = {anb2m | n>0 ∧ m≥0}

c) Descreva qual a linguagem gerada por G2;

L(G2) = {lw | w ∈ {l, n}* }

d) Descreva qual a linguagem gerada por G3;

L(G3) = {anb2m | n>0 ∧ m≥0}

e) Mostre a derivação de três sentenças através da gramática G2;

 1 2 7
S⇒ LC ⇒ ⇒l lC
1 2 4 6
S⇒ LC ⇒ lC ⇒ lnC ⇒ lnl

f) Mostre a derivação de duas sentenças através da gramática G2, utilizando

árvore de derivação sintática;

S S

L C L C

l λ l n C

2) Assinale V quando julgar verdadeira, ou F quando julgar falsa cada uma das
seguintes afirmações:

(V ) Sobre uma linguagem L(G), gerada por uma gramática G, podemos dizer
*
que L(G) = {α∈T*|S ⇒ α}
(V ) A geração direta acontece pela aplicação de uma regra do conjunto P,
transformando uma forma sentencial em outra.
(V ) Qualquer cadeia que se possa gerar a partir do símbolo de partida de uma
gramática é uma forma sentencial desta gramática.
(F ) Toda sentença de uma gramática pode ser gerada diretamente a partir do
símbolo de partida.
(F ) Toda sentença é uma forma sentencial e toda forma sentencial é uma
sentença.

3) Dada a seguinte gramática:

G = (V, T, P, S)

Onde:
V = {S, B}
T = {a, b}

P = { 1) S → aSa
2) S → aBa
3) B → bB
4) B→λ }
Qual é a linguagem L(G) gerada pela gramática descrita acima?

L(G) = { anbman | n>0 ∧ m≥0 }

Descreva uma seqüência de regras (aplicando derivação mais à esquerda) que

resultaria na produção da sentença aaaaaa.

1, 1, 2, 4

Considerando a gramática descrita acima, assinale V ou F:

(F ) Pode-se afirmar que aaaa não é uma sentença.

(V ) Pode-se afirmar que aabaa é uma sentença.
(F ) Pode-se afirmar que aSA é uma forma sentencial.
(F ) Pode-se afirmar que abbbBaa é uma forma sentencial.
(F ) Pode-se afirmar que aabbbaa não é uma forma sentencial.

4) Dada a seguinte ER, encontre um autômato e uma gramática equivalentes a

ela:
0*1(0+1)*

0 0, 1
1
S0 S1

S0 → 0S0
S0 → 1S1
S1 → 0S1
S1 → 1S1
S1 → λ

5) Descreva gramáticas para as seguintes linguagens:

a) Conjunto de palíndromos sobre {a, b}

S → aSa
S → bSb
S→a
S→b
S→λ
 b) {anbman | n≥0 ∧ m é ímpar}

S → aSa
S→B
B → bbB
B→b

c) {anbmc2n | m,n≥0}

S → aScc
S→B
B → bB
B→λ

d) {anbm | m>n}

S → aSb
S→B
B→b
B → bB

6) Dados os seguintes Autômatos Finitos, encontre Gramáticas Regulares

equivalentes a eles:

a)
b b
S A C

b a

G=(V, T, P, S), onde:

V={S, A, B, C}
T={a, b}
P={ 1) S → bA
2) A → aB
3) A → bC
4) B → bA
5) C → λ }
 b)
a

b b a
S A B C

G=(V, T, P, S), onde:

V={S, A, B, C}
T={a, b}
P={ 1) S → bA
2) A → aA
3) A → bB
4) B → aC
5) C→ λ }

7) Dadas as seguintes Gramáticas Regulares, encontre Autômatos Finitos

equivalentes a elas e identifique as linguagens geradas pelas mesmas:

G1=(V, T, P, S), onde: G2=(V, T, P, S), onde:

V={S, A, B, C} V={S, A, B, C, D}
T={a, b} T={a, b}
P={ 1) S → aA P={ 1) S → aA
2) S → bC 2) A → bB
3) S → λ 3) B → bB
4) A → aS 4) B → aC
5) A → bB 5) C → aD
6) B → bC 6) C → λ
7) B → λ 7) D → bC }
8) C → bB }

a) {ambn|m, n≥0 ∧ m+n é par}

a b
S0 S1 S2

a b
b
b
S3
 b) {abmba(ab)n|m, n ≥0}
b
a b a
S0 S1 S2 S3

b a

S4

8) Dadas as seguintes gramáticas:

G1=(V, T, P, S), onde: G2=(V, T, P, S), onde: G3=(V, T, P, S), onde:

V={S, A, B} V={S} V={S, A, B, C}

T={a, b} T={a, b} T={a, b, c}
P={ S → aB | bA P={ S → aSa P={ S → ASCA
A → a | aS | bAA S→b} S → ABCA
B → b | bS | aBB } A→a
B → bBb
B→λ
C→c}

a) Descreva qual a linguagem gerada por G1;

L(G1) = {w ∈ {a, b}+ | |w|a=|w|b}

ou
L(G1) = {w∈{a,b}+| w contém número de a’s igual ao número de b’s}

b) Descreva qual a linguagem gerada por G2;

L(G2) = {anban | n≥0}

c) Descreva qual a linguagem gerada por G3;

L(G2) = {anb2m(ca)n | n>0 ∧ m≥0}