DISCIPLINA: ASPECTOS TERICOS DA

COMPUTAO

Linguagens recursivamente enumerveis

e sensveis ao contexto

Alunos: David Sanford, David Silva e Luan Martins

Fortaleza CE

SUMRIO

1. DEFINIO DO PROBLEMA
1.1 Apresentao do Tema do Trabalho
1.2 Situao Problemtica
2. OBJETIVOS
2.1 Geral
2.2 Especfico
3. JUSTIFICATIVA
4. METODOLOGIA
5. CONSIDERAES FINAIS
6. REFERNCIAS BIBLIOGRFICAS

1. Definio do Problema
1.1 Apresentao do Tema do Trabalho
Este trabalho trata de um estudo das linguagens sensveis ao
contexto e recursivamente enumerveis. Nesse estudo ser explicado
os conceitos, propriedades e aplicaes que caracterizam essas

linguagens. Alm disso, ser a presentado uma problematizao a ser

discutida em sala.
A fim de generalizar um a maneira de fazer computao, Alan
Turing props um modelo de computao terica que simulava o
mximo possvel as atitudes humanas relacionadas a computao. A
mquina de Turing, como ficou conhecido, responsvel pelo
desenvolvimento dos atuais computadores e do conceito de
algoritmo.
impossvel demonstrar formalmente se a mquina de Turing ,
de fato, o mais genrico dispositivo de computao, no entanto
Alonzo Church formulou uma hiptese onde afirmava que qualquer
funo computvel pode ser processada por uma mquina de Turing.
A mquina de Turing, em essncia, um autmato cuja fita no
possui tamanho mximo e pode ser usada simultaneamente como
dispositivo de entrada, sada e memria de trabalho.
As linguagens apresentadas possuem classificaes do tipo 1 e
tipo 0 respectivamente. As linguagens sensveis ao contexto (tipo 1)
so aquelas que podem ser aceitas por uma mquina de Turing com
fita limitada, ou seja, uma mquina de Turing com limitao finita no
tamanho da fita. As linguagens recursivamente enumerveis (tipo 0)
por uma mquina de Turing, elas representam o conjunto de todas as
linguagens que podem ser reconhecidas mecanicamente e em tempo
finito.
A sensibilidade ao contexto tem como propriedade sentenas
que exibem caractersticas de dependncia entre trechos distintos,
isso significa que determinadas partes de uma sentena s sero
consideradas vlidas se ocorrerem simultaneamente a trechos
relacionados, presentes em outras regies da mesma sentena.
A necessidade de criar a recursivamente enumervel deu-se ao
fato de que no se conhece uma maneira de decidir se uma funo
ir parar para uma dada instncia, logo uma caracterstica dela
existir pelo menos uma cadeia C em uma linguagem L, aceita por
uma mquina de Turing, onde inicia-se uma sequncia interminvel
de movimentaes em seu procedimento.

1.2 Situao Problemtica

Em termos computacionais, existem mais problemas no

computveis do que problemas computveis. A classe das linguagens
recursivamente enumerveis inclui algumas para as quais
impossvel determinar mecanicamente se uma palavra no pertence
a uma linguagem, embora seja possvel determinar se pertence.
Um problema computvel pode ser parcialmente solucionvel,
ou seja, para uma determinada linguagem pertencente a classe das
recursivamente enumerveis, existe pelo menos uma palavra no
pertencente a ela que faz a mquina que a reconhece processar
indefinidamente.
Esse problema predominantemente matemtico chamado de
indecidvel. Alguns dos problemas esto na lgica, envolvem
mquinas abstratas, matrizes, teoria combinatria de grupos,
topologia etc.
A soluo desses problemas ajudaria pesquisadores das reas
de criptografia, nos problemas de lgica, anlise de algoritmos e
computao como um todo, para os de mquinas abstratas.
Um dos 23 problemas propostos por David Hilbert, o dcimo
problema, est na lista de problemas indecidveis. Ele pede para
descrever, em um nmero finito de operaes, se uma dada equao
diofantina tem raiz (es) inteira (s), uma equao diofantina uma
equao polinomial que permite a duas ou mais variveis assumirem
apenas valores inteiros.

2. Objetivos
2.1 Geral
Proporcionar o aprendizado sobre os temas linguagens sensveis
ao contexto e as recursivamente enumerveis.

2.2 Especficos
Promover a participao dos alunos (as). Alm disso,
desenvolver uma discusso envolvendo a problematizao e uma
atividade prtica sobre o tema apresentado.

3. Justificativa

O estudo permitir que os contedos que sero

abordados
posteriormente,
como
a
construo
de
compiladores, sejam melhor compreendidos. Ademais,
colabora para o surgimento de ideias que eventualmente
possam contribuir para a soluo dos problemas em aberto,
no caso das linguagens recursivamente enumerveis.

4. Metodologia
Ser utilizado o mtodo de seminrio integrado. O contedo
ser explicado com auxlio de slides de apresentaes juntamente
com tcnicas de ensino didticas dentro da realidade do contexto.
O seminrio integrado permite trabalhar diferentes contedos
de maneira interativa dentro da sala de aula proporcionando um
melhor aprendizado entre os alunos. Os slides ajudam a aperfeioar o
entendimento do que est sendo explicado por meio de imagens,
alm de servir como direcionamento de raciocnio por parte de quem
est explicando.
Em um primeiro momento sero explicados os conceitos e em
seguida a sua aplicao dentro do contexto em que est sendo
estudado. No segundo momento ser abordado a problematizao
seguido de uma discusso.

5. Consideraes Finais
Espera-se que com este trabalho a maioria dos alunos consigam
entender e saber usar os contedos dos temas abordados. Espera-se
o desenvolvimento de um pensamento crtico para que novas formas
de conhecimento surjam e que no fiquem limitados pelos
conhecimentos j existentes, pois atualmente carecemos de novas
descobertas.

6 Referncias Bibliogrficas
SALES, J. de O. C. B. e BRAGA, M. M. S. de C. Didtica Geral unidade
3: a organizao do trabalho pedaggico. Apostila da Formao
Pedaggica na modalidade EAD do CED/UECE.
RAMOS M. V. MARCUS. Linguagens formais e autmatos.
MENEZES, B. P. Linguagens formais e autmatos. Instituto de
informtica da UFRGS.