LINGUAGENS FORMAIS E AUTMATOS

Prova final - 18/06/2011 - Prof. Marcus Ramos

1 - (1 ponto) Considere a gramtica abaixo:

Qual o tipo mais restrito dessa gramtica?
Tipo 0 (ou irrestrita), pois a regra T impede que ela seja caracterizada como sendo do tipo 1.

Descreva informalmente, e atravs de exemplos, a linguagem por ela gerada;

Essa gramtica gera a linguagem {, } }. Exemplo de derivao:
SaASaAbBSaAbBaASaAbBaAbBSaAbBaAbBTaAbBaAbBTabABaAbBTabAaBAbBTabaABAbBTabaABb
ABTabaAbBABTababABABTababABATbababABTabababATbabababTabababababab

Descreva com suas prprias palavras a estratgia usada pela gramtica para gerar a linguagem em questo. Seja claro e
conciso.
S aAS | bBS | T Bb bB
Aa aA BT Tb
Ab bA AT Ta
Ba aB T

A raiz da gramtica (S) gera uma seqncia arbitrria de aA e bB, terminando com T (regra inicial). A forma sentencial
assim obtida possuir o formato (aA|bB)*T. As regras seguintes (AaaA, AbbA, BaaB e BbbB) permitem que os
smbolos terminais se desloquem para a esquerda, e que os no-terminais se desloquem para a direita. Ao trmino
desse processo, as subcadeias sero idnticas, exceto pelo fato de a subcadeia da direita ser formada apenas por
smbolos no-terminais ao passo que a da esquerda formada apenas por smbolos terminais. A converso dos no-
terminais para os smbolos terminais correspondentes feita pelas duas penltimas regras (BTTb e ATTa), que
tambm deslocam o T para a esquerda (esse smbolo usado como marcador para permitir a converso do no-
terminal no terminal correspondente. Quando no houverem mais converses para serem feitas, o smbolo T
eliminado da forma sentencial pelo uso da ltima regra (T).

2 - (1,5 ponto) Um autmato finito com at 101 estados, sobre o alfabeto de entrada {, , , } pode ser codificado na
forma de uma cadeia sobre o alfabeto {0,1, ,9, , , , , } da seguinte forma:
o estado 00 inicial;
os estados 00 a 49 so no-finais;
os estados 50 a 99 so finais;
uma transio no-vazia representada como , onde , {0,1, ,9} e , , , , , denotando
, = ;
uma transio em vazio representada como , onde , {0,1, ,9} denotando , = ;
um autmato pode ter zero ou mais transies;
transies consecutivas so separadas pelo smbolo " ";
transies repetidas so permitidas.
Por exemplo, a cadeia 00a00-0050-50b50 representa um autmato que reconhece a linguagem .
Obtenha um autmato finito que reconhece cadeias escritas nessa forma e que representam autmatos finitos vlidos;

Obtenha uma expresso regular que represente essa linguagem;

| ( ) , com = (0|1|2| |9) e = (||| |)

Obtenha uma gramtica linear direita que gere essa linguagem.

S
SdA
AdB
BsC
BC
CdD
 DdE
E
E-F
FdA

3 - (1,5 ponto) Obtenha um autmato finito determinstico, sem transies em vazio, sem estados inteis e sem estados
inacessveis que seja equivalente ao autmato abaixo:

4 - (1 ponto) Considere a linguagem composta por todas as cadeias sobre o alfabeto {, , , } tais que elas no comeam
com nem terminam com . Qual o tipo dessa linguagem? Prove a sua resposta.
1 - comeam com : (|||)
2 - terminam com : (|||)
Pelo fechamento das linguagens regulares em relao s operaes de complementao e interseco, segue que a linguagem
original 1 2 regular.

5 - (2 pontos) Considere a linguagem (|||) e obtenha:

Um autmato de pilha que a reconhea;

Critrio estado final.

Uma Mquina de Turing com fita limitada que a reconhea.

6 - (1 ponto) Se 1 contm apenas cadeias de comprimento 1 || 1 , e 2 contm apenas cadeias de

comprimento || 2 , ento qual o tipo mais restrito de 1 2 e de 1 2 ? Justifique sua resposta.
1 e 2 so finitas e portanto regulares. Como as linguagens regulares so fechadas em relao s operaes de unio e
interseco, segue que 1 2 e 1 2 so tambm regulares.
7 - (1 ponto) Seja um alfabeto e um vocabulrio.
Considere o conjunto de todas as expresses regulares que podem ser construdas sobre o alfabeto . Prove que esse
conjunto no regular;
No regular por causa do balanceamento de parnteses nas expresses regulares. Suponha ={a}, considere que
seja a constante do Pumping Lemma para as linguagens regulares e seja a sentena = ( ) , uma expresso regular
vlida sobre , = 2 + 1 . Ento, = , com || e || 1. Logo, a cadeia formada apenas por
smbolos "(", e qualquer bombeamento da mesma resulta numa cadeia que no uma expresso regular vlida
sobre .

Considere o conjunto de todas as gramticas livres de contexto que podem ser construdas sobre . Prove que esse
conjunto regular.
*
Considere V=N. Ento, o conjunto de todas as gramticas que podem ser construdas sobre V R R, onde
* *
R=NV NV . Portanto, a linguagem em questo regular.

8 - (1 ponto) Descreva os diversos tipos de reconhecedor estudados em sala de aula, destacando as suas semelhanas e
diferenas, bem com o seu poder relativo.
Autmato finito: composto por mquina de estados finitos, fita de entrada limitada ao tamanho da cadeia (leitura apenas,
acesso da esquerda para a direita) e sem memria auxiliar - reconhecem as linguagens regulares. Autmato de pilha: composto
por mquina de estados finitos, fita de entrada limitada ao tamanho da cadeia (leitura apenas, acesso da esquerda para a
direita) e dotado de memria auxiliar ilimitada, estruturada na forma de uma pilha - reconhecem as linguagens livres de
contexto. Mquina de Turing com fita limitada: composta por mquina de estados finitos e fita de entrada de comprimento
limitado, acesso em ambos os sentidos e possibilidade de escrita alm de leitura - reconhecem as linguagens sensveis ao
contexto. Mquina de Turing (sem limitao de fita): idem ao anterior, sem limitao no tamanho da fita de entrada - aceitam as
linguagens recursivamente enumerveis.