Beruflich Dokumente
Kultur Dokumente
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;
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.
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.