Ling resolvió cuestiones importantes como qué es el cálculo y qué es la computabilidad, y propuso la máquina de Ling y los modelos de Ling.
El padre de los ordenadores
El padre de la informática
El padre de la teoría de juegos c
El padre de la inteligencia artificial d
1.
La máquina de Turing, también conocida como computadora de Turing, se refiere a una máquina abstracta. ¿El matemático británico Alan? Matheson. Turing (1912-1954) propuso en 1936 que las personas abstrajeron el proceso de usar papel y lápiz para realizar operaciones matemáticas, y una máquina virtual reemplazó a los humanos para realizar operaciones matemáticas.
Tiene una cinta de papel infinitamente larga dividida en pequeños cuadrados, cada cuadrado tiene un color diferente. Hay un cabezal de máquina que se mueve hacia adelante y hacia atrás sobre la cinta de papel. El cabezal de la máquina tiene un conjunto de estados internos y algunos procedimientos fijos.
En cada momento, el cabezal de la máquina debe leer la información de la cuadrícula de la cinta de papel actual, luego verificar la tabla del programa según su propio estado interno, enviar la información a la cuadrícula de la cinta de papel de acuerdo con el programa y convertir. su propio estado interno y luego moverse.
Para cualquier máquina de Turing, dado que su descripción es finita, siempre podemos codificarla en una cadena de alguna manera. Usamos el código que representa una máquina de Turing m.
Podemos construir una máquina de Turing especial que acepte el código de cualquier máquina de Turing M y luego simule el funcionamiento de M. Esta máquina de Turing se llama máquina de Turing universal.
Las computadoras electrónicas modernas son en realidad una simulación de una máquina de Turing universal. Puede aceptar un programa que describe otra máquina de Turing y ejecutar el programa para implementar el algoritmo descrito en el programa.
Pero cabe señalar que es sólo una simulación, porque la capacidad de almacenamiento de la computadora en realidad es limitada, por lo que es imposible cruzar los límites de la máquina de estados finitos. Las máquinas de Turing clásicas tienen la misma capacidad de reconocer muchos lenguajes deformados. Por ello, las máquinas de Turing pueden servir como modelo universal de informática.
Además, existe una máquina de Turing universal (máquina de Turing programable), que puede simular cualquier máquina de Turing. Esta es la razón fundamental por la que la máquina de Turing se utiliza como modelo formal de los ordenadores modernos.