logica

Maquina de Turing:
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puedeser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador.
La máquina de Turing fuedescrita por Alan Turing como una «máquina automática»
La máquina de Turing no está diseñada como una tecnología de computación práctica, sino como un dispositivo hipotético que representa una máquina decomputación. Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo mecánico.

Una máquina de Turing es un modelo computacional que realiza una lectura/escritura demanera automática sobre una entrada llamada cinta, generando una salida en esta misma.
Este modelo está formado por un alfabeto de entrada y uno de salida, un símbolo especial llamado blanco (normalmenteb, o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados.

Su funcionamiento se basa en una función de transición, que recibe un estado inicial y una cadena decaracteres (la cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada. La máquina va leyendo una celda de la cinta en cada paso, borrando el símbolo en el que se encuentra posicionadosu cabezal y escribiendo un nuevo símbolo perteneciente al alfabeto de salida, para luego desplazar el cabezal a la izquierda o a la derecha (solo una celda a la vez). Esto se repite según se indiqueen la función de transición, para finalmente detenerse en un estado final o de aceptación, representando así la salida.







Lógica:
La lógica es una ciencia formal que estudia losprincipios de la demostración e inferencia válida. La palabra deriva del griego antiguo que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de (lógos), «palabra,...