Linguagens Formais e Autmatos

Segunda prova - 01/07/2010 - UNIVASF - Prof. Marcus Ramos

>>>> Seja conciso e objetivo nas suas respostas <<<<

1. (1 ponto) Obtenha um transdutor finito (Mealy ou Moore) que reconhea a linguagem (aa*#)*
e efetue a sua transduo conforme as seguintes regras:

Para cada seqncia xaa*, se ela possuir comprimento par, ela dever ser preservada de
forma idntica na sada;
Para cada seqncia xaa*, se ela possuir comprimento mpar, ela dever ser convertida
para a seqncia xb, com comprimento par.

Exemplos de transduo:

aa#aaa# gera aa#aaab#

aaa#aaaaa#aaaaaaa# gera aaab#aaaaab#aaaaaaab#
a#aa#aaa# gera ab#aa#aaab#
a# gera ab#

(1 ponto) Prove que a linguagem {w {a,b,c}* | |w|a=|w|b } no regular.

1
2.

Seja n a constante do Pumping Lemma para as linguagens regulares e considere a sentena

n n
w=a b . Como w=xyz, com |xy|n e |y|1, segue que a cadeia y formada por pelo menos
um smbolo a. Considere a cadeia xz. Como ela possui uma quantidade de smbolos a menor
que a quantidade de smbolos b, segue que xz no pertence linguagem e portanto a
linguagem no regular.

3. (1 ponto) Prove que a linguagem {w {a,b,c,}* | |w|a mpar, |w|b par, |w|c no mltiplo
de 3} regular.

L1={w {a,b,c,}* | |w|a mpar} regular, pois L1=(b|c)*a((b|c)*a(b|c)*a)*(b|c)*

L2={w {a,b,c,}* | |w|b par} regular, pois L2=((a|c)*b(a|c)*b)*(a|c)*
L3={w {a,b,c,}* | |w|c mltiplo de 3} regular, pois L3=((a|c)*c(a|b)*c(a|b)*c(a|b)*)*

Como a classe das linguagens regulares fechada em relao operao de

complementao, segue que ~L3 (o complemento de L3) tambm regular. Como a classe das
linguagens regulares fechada em relao operao de interseco, segue que L 1L2~L3
tambm regular.

4. (1 ponto) Obtenha um autmato finito que reconhea o complemento da linguagem

(b|c)*aaa(b|c)*.

1
|w| denota a quantidade de smbolos "" na cadeia "w".
 i j
5. (1 ponto) Obtenha uma gramtica livre de contexto que gere a linguagem {a b | ij}.

S aSb | X | Y
X aX | a
Y bY | b
i j
6. (1 ponto) Obtenha um autmato de pilha que reconhea a linguagem {a b | (j=2i) ou (j=3i)}.

Autmato no-determinstico com citrio de aceitao "estado final":

7. (1 ponto) Conceitue:

a) Derivao mais esquerda;

Quando o smbolo no-terminal substitudo o que se encontra mais esquerda na

forma sentencial corrente.

b) Derivao mais direita;

Quando o smbolo no-terminal substitudo o que se encontra mais direita na forma

sentencial corrente.

c) rvore de derivao;

Representao grfica da estrutura de uma sentena gerada por uma gramtica livre de
contexto. Os ns pais correspondem ao lado esquerdo da regra utilizada na derivao e
os ns filhos correspondem aos smbolos que compem o lado direito da mesma regra.
A raiz da rvore a raiz da gramtica.

d) Gramtica ambgua;

Gramtica que gera uma linguagem que contm pelo menos uma sentena para a qual
existem duas ou mais seqncias de derivaes feitas exclusivamente mais esquerda
ou mais direita. Ou ainda, para a qual existem dua sou mais rvores de derivao
distintas.
 e) Linguagem inerentemente ambgua.

Linguagem para a qual todas as gramticas que a geram so ambguas. Ou seja, para a
qual no existam gramticas no-ambguas.

8. (1 ponto) Escolha uma simplificao qualquer para gramticas livres de contexto e responda s
perguntas:

a. Descreva a transformao efetuada por essa simplificao (entradas requeridas e

sadas geradas);

Eliminao de smbolos inacessveis: aceita como entrada uma gramtica livre de

contexto qualquer, e gera como sada uma gramtica livre de contexto isenta de
smbolos inacessveis. Smbolo inacessvel (terminal ou no-terminal) aquele que
no comparece em nenhuma forma sentencial gerada a partir da raiz da gramtica.

b. Descreva, em linhas gerais e com exemplos, como opera o algoritmo que efetua essa
transformao.

A partir da raiz da gramtica, computar o conjunto dos smbolos que so gerados

pela mesma, e assim sucessivamente, para todos os smbolos que fazem parte desse
conjunto, at que nenhum novo smbolo seja acrescentado ao conjunto. Os smbolos
que no fazem parte do conjunto so inacessveis e podem ser eliminados da
gramtica, assim como as regras em que os mesmos comparecem.

Exemplo:
S aB | a, B bB | b, C cC | c
V0 = {S}, V1 = {S,a,B}, V2 = {S,a,B,b}, V3 = {S,a,B,b}. Logo, {c,C} so inacessveis.

i 2i 3i
9. (1 ponto) Prove que a linguagem {a b c | i1} no livre de contexto.

Seja =a b c , onde n a constante do Pumping Lemma para as linguagens livres de

n 2n 3n

contexto. Como =uvwxy, com |vwx|n e |vx|1, segue que vwx contm apenas um (a, b, c)
ou dois (a e b ou b e c) smbolos diferentes. Qualquer que seja o caso a cadeia uwy no
pertence linguagem, pois h um desbalanceamento na quantidade de smbolos conforme a
sua especificao.

10. (1 ponto) Descreva as principais diferenas entre a Mquina de Turing com fita limitada e os
autmatos de pilha/finitos.

(i) a cabea de acesso efetua escritas alm de leituras na fita de entrada, e por causa disso a
fita de entrada funciona tambm como memria auxiliar;
(ii) a cabea de acesso pode se deslocar em ambos os sentidos (esquerda e direita).