Divagações...

quarta-feira, 10 de novembro de 2010

Maquina de Turing - Modelo de Computação

A maquina de turing é um modelo abstrato que nos diz qual a capacidade da computação. Isto significa que esta maquina, inventada por Alan Turing em 1936, representa uma conceitualização formal para verificar se  um procedimento ou algoritmo é ou não decivivel, isto é, se através de um conjunto fixo de instruções aplicadas sobre as entradas há a geração de saida em tempo habil, sem looping. Assim sendo, vale mencionar que todas as tecnolgias que temos hoje, em termos computacionais, obedecem aos mesmos principios, o embasamento teorico que as fundamentam não mudam ao longo do tempo, ou seja, assim como a maquina de turing, o que guia a computação são os proprios fundamentos dela, sendo as novas tecnologias baseadas nas primeiras premissas para computar, que são: uma função programa com as instruções de transformação de dados, um dispositivo de armazenamento, no caso da maquina de turing ( uma fita infinita à esquerda e à direita ), e um mecanismo de leitura/escrita.

Após esta introdução sobre maquina de turing e teoria da computação, segue a definição formal: