Exerccios

Linguagens Formais

1.

Para cada um dos pares de descries de linguagens a

seguir, escolha o relacionamento correto de acordo com
essas quatro opes:
(1) (2): linguagem (1) um subconjunto da linguagem (2).
(1) (2): linguagem (1) um super-conjunto da linguagem (2).
(1) = (2): as linguagens (1) e (2) so as mesmas.
(1) ? (2): as linguagens (1) e (2) no possuem relao de
subconjunto; ou seja, existem cadeias em (1) que no esto
em (2), e h cadeias em (2) que no esto em (1).
a) (1): A linguagem da GLC com as produes S 0S1 | 1S0 |
(2): A linguagem da expresso regular (0 + 1 )*.
(1) est contida em (2). (2) gera todas as cadeias de 0s e 1s,
enquanto (1) no gera cadeias como 11, ou qualquer string
de tamanho mpar.

b) (1): A linguagem da GLC com as produes

S AS | SB | , A 0 e B 1
(2): A linguagem da expresso regular 0*1*
As linguagens so iguais.

c) (1): A linguagem da expresso regular

(0 + 1)*11(0 + 1)*
(2): A linguagem da expresso regular
(0*1*11)*0*110*1*
(1) contm (2).
(1) formada por todas as cadeias de 0s e 1s
com dois 1s consecutivos. (2) no possui
algumas dessas cadeias, como por exemplo
as terminadas em 110101.

2) Seja L a linguagem consistindo de todas as cadeias de

zero ou mais 0s seguidas por um ou mais 1s, seguidas
por dois ou mais 2s. Por exemplo, 001122, 122 e
0111122 esto em L; 012 (poucos 2s) e 0112122 (um 2
precede um 1) no esto.
a) Escreva uma expresso regular cuja linguagem seja L.
0*11*222*

b) D uma gramtica livre de contexto que gere a mesma

linguagem. suficiente apenas dar as produes,
assumindo que S o smbolo inicial.
Existem vrias gramticas aceitveis, uma delas :
S ABC
A 0A |
B 1B | 1
C 2C | 22

3) Construa uma gramtica regular para cada uma das

linguagens a seguir:
(a) o conjunto das cadeias sobre {a, b, c} que no contm
aa.
S aA | bS | cS |
A bS | cS |
(b) o conjunto das cadeias sobre {a, b, c} nas quais cada
b seguido por pelo menos um c.
S aS | bA | cS |
A cS
(c) o conjunto das cadeias sobre {a, b} nas quais o
nmero de as divisvel por 3.
S aA | bS |
A aB | bA
B aS | bB

d) O conjunto das cadeias sobre {a, b} nos quais cada a

precedido (imediatamente) ou seguido
(imediatamente) por b.
S aA | bB |
A bB
B aS | bB |

4) Seja G a gramtica
S aS | Sb | ab | SS
(a) D uma expresso regular para L(G).
(a+b+)+
(b) Construa duas derivaes mais a esquerda de aabb.
S aS aSb aabb
S Sb aSb aabb
(c) Construa as rvores de derivao para as derivaes
da parte (b)
S
S
a
S
S
b
S
b
a
S
a
b
a
b

(d) Construa uma gramtica no ambgua equivalente a G.

S aS | abA
A bA | S |
(e) Escreva uma gramtica regular equivalente.
S aS | aB
B bA
A bA | aS | aB |

5) Seja G a gramtica livre de contexto com as seguintes

produes:
S aS | Sb | a | b
(a) Prove, por induo no tamanho da derivao, que todas as
cadeias w L(G) tem a propriedade de no conter ba como
uma subcadeia.
Seja t = tamanho da induo.
(i)
Se t = 1 ento S => a ou S => b. Portanto, no possuem ba como
subcadeia.
(ii) Supomos que, para 1 t < k, se S =>* w e |w|= t, ento w no
possui ba como subcadeia.
(iii) Vamos mostrar que a proposio vale para t = k
Nesse caso, S =>k w.
Como em cada passo de derivao exatamente um terminal
gerado (a ou b), ento necessariamente |w| = k. Alm disso, w
foi gerado num caminho S => aS =>k-1 ax ou S=> Sb =>k-1 yb, e
|x| = |y| = k-1.
Por (ii), nem x nem y tm ba como subcadeia. Logo, ax e yb
tambm no tm ba como subcadeia
c.q.d.

6) Construa uma gramtica para cada uma das linguagens:

(a) {ambn | m > n}
S aS | aA
A aAb |
(b) {w {a, b}* | o nmero de as em w o dobro do nmero de bs}
S aSaSbS | aSbSaS | bSaSaS |
(c) {ambn | n m 2n}
S aSb | aaSb |
(d) {ambncpdq | m + n p + q}

6) Construa uma gramtica para cada uma das linguagens:

(a) {ambn | m > n}
S aS | aA
A aAb |
(b) {w {a, b}* | o nmero de as em w o dobro do nmero de bs}
S aSaSbS | aSbSaS | bSaSaS |
(c) {ambn | n m 2n}
S aSb | aaSb |
(d) {ambncpdq | m + n p + q}
S aSd | A | B = gera igual nmero de a e d
A bAd | C
= gera igual nmero de b e d
B aBc | C | D = gera igual nmero de a e c
C bCc | E
= geral igual nmero de b e c
D aD | E
= gera pelo menos um a
E bE |
= gera pelo menos um b

Exerccios da 4a. Lista (material web)

6) Indicar qual a linguagem gerada pela
gramtica dada, e classific-la:
(a) S A0
A 1A
A0 10
L = 1+ 0
G.Regular equivalente:
S A0
A 1A | 1

(e) S 0A | 1B
A 0A | 0
B 1B | 1
L= (0+ + 11+) A linguagem regular.