turing e computabilidade

Filed under pesquisas

achei um texto que tinha feito pra universidade falando sobre máquinas de turing, processos computáveis, teoria da computação e outras noias. vale o registro.

somadorbinario_v02

As limitações computacionais são norteadas pela velocidade e capacidade dos processamentos de informações? O ser humano usa a tecnologia para se (re)descobrir?  O que pode ser computado? E o que não pode ser computado?

Existem máquinas abstratas que foram modeladas matematicamente para cumprir tarefas de decisão, semi decisão, gerar linguagens e computar funções. A máquina abstrata mais conhecida é a do matemático britânico Alan Turing. Ele mostrou como um sistema de autômatos poderia manipular símbolos e linguagens  de um sistema de regras próprias. Até hoje essa máquina é estudada por teóricos da computação, pesquisadores de Inteligência Artificial, artistas do Ciberespaço.

A máquina de Turing pode ser dividida naquela que é computável e na efetivamente computável, ou também, caracterizada como máquinas que semi decidem ou decidem uma linguagem. As máquinas computável ou as que semi decidem não são úteis para formular algoritmos computacionais porquê nunca saberemos quando a máquina, por ser infinita, vai parar. Só vamos considerar algoritmos as máquinas que páram, que são efetivamente computável. Essa discussão é base da tese proposta por Alan Turing e Alonzo Church, que concluíram que não é possível construir um artefato de cálculo mais poderoso que um computador. Turing descreveu: “Toda ‘função que seria naturalmente considerada computável’ pode ser computada por uma Máquina de Turing.”
Devido à imprecisão do conceito e por ser uma tese, não pode ser nem
provada nem refutada. Até hoje, pesquisadores desenvolvem técnicas para
explorar o poder das Máquinas de Turing, evidenciando também suas
limitações.

Com base nessas informações podemos concluir que: a capacidade dos
dispositivos computacionais só semidecidem ou decidem uma fração
infinitesimal do conjunto de todas possíveis linguagens. Mas qual seria
a base real da computação? Máquinas de Turing de (Máquinas de Turing)?

0000000011111111000000000111111111111110000000011100011

One Comment

  1. Posted 30 de abril de 2009 at 22:07 | Permalink

    Boa Noite,

    Procurei algum e-mail para contato, mas não encontrei. Meu nome é Miriã Tamíris e sou graduanda em Arquitetura e Urbanismo na UFMG. Desde o início de 2007 tenho me especializado na área de arquitetura/interatividade/novas mídias.

    Admiro muito trabalho de vcs e tenho acompanhado o blog desde quando o encontrei (incluido o antigo UU).

    Atualmente estou realizando testes para a construção de uma multitouch table (em uma 30×40cm). Seguindo os tutoriais e fórum do NUI Group, toda a parte de softwares e programação já está solucionada, inclusive já realizei testes com uma MTmini que construí aqui. Entretanto, estou com problemas na compilant surface, no método FTIR - Frustrated Total Internal Reflection:

    [1] Não encontro em lugar algum a tal da borracha de silicone transparente, nem o solvente para silicone. Já tentei com aquelas colas de vedação pra aquário, mas elas ficam muito turvas quando secam. Já tentei diversos outros materiais, como colas, plástico adesivo, etc, etc, etc…
    Mas em nenhum eu consegui uma superfície lisa, flexível e transparente para a detecção do Blob.

    [2] Os LEDs IR que comprei estão com brilho muito fraco (não sei se é o LED ou a webcam que estou usando para os testes – ou os dois..aff). Mas o fato é que nas lojas de eletrônica pra que ele entendam que eu preciso de um LED infravermelho, eu tenho que pedir um LED de controle remoto (olha o drama…)

    Vcs usaram o método FTIR também? Como fizeram a captação dos blobs?

    Acredite, já tentei de tudo, e pra eu chegar ao ponto de tentar entrar em contato com vcs, entenda como uma situação de desespero..hehehehe. Além disso, sinto falta de mais pessoas aqui no Brasil pra compartilhar sobre o assunto.

    Bem… Aguardo retorno

    Obridada,

    Miriã Tamíris Soares Campos.
    arq.miria@yahoo.com.br/miriarq3d.blogspot.com

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*