Funes recursivas e Mquinas de Turing

Pedro Henrique Paiola, Samantha Seabra, Prof. Dr. Hrcules de Araujo Feitosa. Cmpus de Bauru,
Faculdade de Cincias, Cincia da Computao e Sistemas de Informao, paiola@fc.unesp.br.
Palavras Chave: funes recursivas, funes algortmicas, mquinas de Turing.

Introduo
A computao se torna cada vez mais fundamental
na sociedade atual, e no apenas no uso cotidiano,
mas tambm para o estudo nas mais diversas
reas, devido ao poder de processamento e preciso que um computador pode oferecer. Para entender melhor o funcionamento dessas mquinas e o
que elas podem oferecer, nos propomos a estudar a
teoria da computabilidade, ou teoria da recurso,
que consiste em analisar conceitualmente, em termos matematicamente precisos, as noes intuitivas
de algoritmo e funo algortmica1. Para isso, iremos
nos concentrar nos conceitos de funes recursivas
e de mquinas de Turing.

Objetivos
Nessa pesquisa nos propomos a definir os conceitos
de funo recursiva e de mquina de Turing, e, por
fim, provar a equivalncia entre o conjunto das funes recursivas e o das funes Turingcomputveis, ou seja, aquelas que podem ser computadas por alguma mquina de Turing.

Material e Mtodos
O estudo foi feito a partir da leitura de obras sobre o
tema, destacando Teoria da recurso de Matias
Francisco Dias e Leonardo Weber, Computabilidade: os limites da computao de Regivan H. N.
Santiago e Benjamin R. C. Bedregal, Computabilidade, funes computveis, lgica e os fundamentos da matemtica de Walter Carnielli e Richard L.
Epstein, Computabilidade e lgica de George S.
Boolos, John P. Burgess e Richard C. Jeffrey,
Computability and unsolvability de Martin Davis e
Computability: an introduction to recursive function
theory de N. J. Cutland.

Resultados e Discusso
Atravs da nossa pesquisa, pudemos reconhecer e
lapidar os conceitos sobre os quais buscvamos
compreenso. A seguir os definiremos suscintamente.
A classe das funes recursivas a menor classe
de funes numricas (definidas no conjunto dos
nmeros naturais) que contm as funes iniciais
(nula, sucessor e projeo) e fechada sob as operaes de composio, recurso primitiva e aplicao do -operador a funes regulares (funes
XXVIII Congresso de Iniciao Cientfica

parciais recursivas so aquelas que fazem uso irrestrito do -operador)1. O -operador o chamado
operador de busca de elemento mnimo. Sendo um
operador de busca anlogo aos conhecidos loops
while de linguagens de programao, basicamente
ele busca nos nmeros naturais pelo primeiro nmero que possui uma determinada propriedade2.
Antes de entrarmos no conceito de mquina de Turing, importante definirmos o que um algoritmo,
uma vez que os programas de computadores, at os
mais complexos, so em geral algoritmos.
Algoritmo um procedimento geral, processo cuja
execuo claramente especificada e finita, tal que,
para qualquer questo apropriada, a resposta pode
ser obtida pelo uso de uma computao simples, de
acordo com um mtodo especificado3.
Uma mquina de Turing, por sua vez, um tipo
especfico de mquina idealizada, cuja funo
executar computaes, especialmente computaes
sobre os nmeros naturais, ou os inteiros positivos.
Assumimos que a computao tem lugar em uma
fita, dividida em quadrados, que seja potencialmente
infinita em ambas as direes. Cada quadrado est
em branco (podemos representar isso por B ou 0),
ou tem um trao impresso nele (| ou 1).
A cada estgio da computao, o computador est
examinando exatamente um quadrado da fita. O
computador capaz de apagar um trao no quadrado examinado, se houver um nele, ou de escrever
um trao, se ele estiver em branco. E ele capaz de
movimentar-se para a direita ou para a esquerda,
um quadrado de cada vez4.

Concluses
Pudemos constatar, em nossa pesquisa, o quo
abrangente so as funes recursivas e as Turingcomputveis. Mostramos que vrias operaes matemticas simples e usuais, como soma, subtrao,
multiplicao e assim por diante esto nestes conjuntos de funes. A seguir, mostramos a equivalncia entre as funes Turing-computveis e as
funes recursivas, usando o instrumental da computabilidade.
____________________
1DIAS, M. F.; LIMA, L. W. C.; Teoria da Recurso. So Paulo: Editora
UNESP. 2010, 15-90.
2SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; Computabilidade: os
limites da computao. So Paulo: SBMAC. 2004, 16-37.
3CARNIELLI, W.; EPSTEIN, R. L.; Computabilidade, funes computveis, lgica e os fundamentos da matemtica. So Paulo: Editora
UNEP. 2009, 95-131.
4BOOLOS, G. S.; BURGESS, J. P.; JEFFREY, R. C.; Computabilidade
e lgica. So Paulo: Editora UNESP. 2012, 17-54.