GRAMTICA TIPO 1

SENSVEIS AO CONTEXTO

Cincia da Computao 7 Perodo

Andr Juan, Flvio Fernando, Jonatas Lopes, Wallace Eduardo

ORIGEM

O conceito de gramtica sensvel ao contexto ou

gramtica do tipo 1 foi introduzido por Noam
Chomsky na dcada de 1950 como uma maneira
de descrever a sintaxe de linguagem natural, em
que, de fato, frequentemente o motivo de uma
palavra poder ou no ser apropriada em um
determinado lugar, dependendo do contexto.

A linguagem formal, que pode ser descrita por

uma gramtica sensvel ao contexto, chamada
de linguagem sensvel ao contexto.

DEFINIO

Uma gramtica sensvel ao contexto G = (V,,P,S) aquela

cujas regras do conjunto P obedecem ao formato , onde
por exemplo:
V * NV

sensvel ao contexto quando diz que um smbolo no

terminal pode ser substitudo por um smbolo terminal, apenas
no contexto de seu precedente.

As linguagens geradas pelas Gramticas Sensveis ao Contexto

ou do Tipo 1 so chamadas de Linguagens Sensveis ao
Contexto (LSC) ou Linguagens do Tipo 1.

DEFINIO

Uma produo sensvel ao contexto

qualquer produo satisfazendo |
| < |b|

Ou seja, uma gramtica em que a

reescrita (derivao) de uma estrutura
(intermediria ou final) depende do
contexto em que o n sendo reescrito
aparece.

GERAO DA GRAMTICA TIPO 1

Para gerar uma sequncia na lngua, comea com uma

sequncia que consiste em apenas um nico
smbolo start, e, em seguida, aplica-se sucessivamente as
regras (qualquer nmero de vezes, em qualquer ordem)
para reescrever essa string. Isso interrompe quando
recebemos uma string contendo apenas terminais.

A linguagem consiste de todas as cadeias de caracteres

que podem ser geradas desta maneira. Qualquer
sequncia particular de opes legais tomadas durante
este processo de reescrita produz uma sequncia
especfica na lngua.

EXEMPLO
G : V = {a,b,c,S,B,C}
V = {a,b,c,S,B,C} S o smbolo raiz smbolo raiz
= {a,b,c} = {a,b,c}
Produes:
S aSBC (1)
S abC (2)
CB BC (3)
bB bb (4)
bC bc (5)
cC cc
Resposta: aaabbbccc

RESOLUO
S aSBC (1)
aaSBCBC (1)
aaabCBCBC (2)
aaabBCCBC ( 3 )
aaabBCBCC (3)
aaabBBCCC (4)
aaabbBCCC (4)
aaabbbCCC (5)
aaabbbcCC ( 6 )
aaabbbccC (6)
aaabbbccc (Resposta)

COMPUTACIONALMENTE FALANDO...

Equivalente a uma Maquina de Turing nodeterminstica. Tambm chamado de autmato

linearmente limitado.

Mquina de Turing no-determinstica em cincia da

computao uma mquina cujo mecanismo de controle atua
como um autmato finito no-determinstico. Difere-se pois
um estado e um smbolo de fita no mais definem estas trs
coisas de forma nica - mais de uma ao pode ser aplicvel
dado um estado e um smbolo.

REFERNCIAS BIBLIOGRFICAS

http://www.cesarkallas.net/arquivos/faculdade/linguagens_formais_automatos/LFA3
-05.pdf

http://www.inf.puc-rio.br/~inf1626/docs/2013/extras/LFA-aula04-complemento.pdf

http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_n%C3%A3o_determin
%C3%ADstica

http://www.cesarkallas.net/arquivos/faculdade/linguagens_formais_automatos/slide
4.pdf

http://www.univasf.edu.br/~marcus.ramos/livro-lfa/cap5.pdf

http://wiki.icmc.usp.br/images/7/7a/SCC0505Cap3.pdf

http://wiki.icmc.usp.br/images/b/bf/SensivelContexto.pdf