Definição de Máquina de Turing

Quando o mundo caminhava para uma nova conflagração global, na década de 1930, a ciência da Informática Também avançava, guiado em muitos casos pela preparação para o esforço de guerra que alguns já antecipavam que chegariam.

É neste contexto que o matemático britânico Alan Turing (a posteriori considerado um dos pais da Informática moderno) desenvolve sua obra e, em 1936, postula quais serão os fundamentos da computador moderno.

A chamada Máquina de Turing É um dispositivo teórico capaz de processar dados de acordo com regras dadas.

As regras e os dados são separados; na verdade, Turing imaginou que as regras seriam armazenadas em algum tipo de meio fixo, enquanto os dados seriam armazenados em fitas que a mesma máquina poderia modificar de acordo com a tabela de as regras.

Vemos claramente neste modelo conceitual um avanço do que os computadores modernos serão: mesmo se alguém tiver um nível de Nome do usuário simples, você pode ver facilmente a distinção entre o

aplicativo "Imutável" (com nuances, mas neste caso vamos considerar assim) e os dados, que podem ser alterados seguindo as regras, que seriam os programação.

Embora a máquina de Turing teórica seja terrivelmente simples, realizando apenas operações muito básicas, como a mudança de estado, o leitura e escrita, é capaz de realizar todos os cálculos matemáticos que um computador mecânico pode realizar usando um algoritmo.

Em outras palavras, se um problema pudesse ser expresso por meio de um algoritmo Por escrito, ele poderia ser processado - pelo menos em um nível teórico - por uma máquina de Turing.

Alan Turing concebeu isso como um exercício para mostrar que havia problemas matemáticos que os computadores não podiam resolver.

A fita de dados, que Turing concebeu como infinita, pode ser movida pela máquina da direita para a esquerda e da esquerda para a direita, como uma velha cassete ou fita de filme que pode ser rebobinada ou avançada para critério.

O conjunto de regras também pode ser entendido como uma linguagem de programação, uma vez que deve ter uma sintaxe lógica e consistente.

Em retrospecto, outros matemáticos fizeram versões mais sofisticadas da Máquina de Turing.

Assim, existem máquinas com duas bandas, deterministas, ou mesmo uma máquina de Turing quântica que pode ajuda, como fez seu ancestral ilustre, lançar as bases da computação tão esperada quantum.

Foto Fotolia: Chrisdorney / Steve Simmons

Tópicos na máquina de Turing