Universidad Fermín Toro

Vice-Rectorado Académico
Facultad de Ingeniería
Escuela de Ingeniería en Computación
Sistema de Aprendizaje Interactivo A Distancia (SAIA)
Cabudare – Lara.

Alumno:
Humberto Rivas
Cédula. V-26.990.816
Sección: Saia A
Materia: Autómatas, Lenguaje Formales
Prof.: Edecio Freitez

Cabudare, diciembre del 2022.

 Introducción
Una máquina de Turing es un dispositivo que manipula símbolos en cintas según una tabla de reglas. A pesar de su simplicidad,
las máquinas de Turing pueden simular la lógica de cualquier algoritmo informático y son particularmente útiles para explicar el
comportamiento de las CPU en una computadora. Fue definida por primera vez como una "máquina automática" por el
matemático británico Alan Turing en 1936 en Transactions of the London Mathematical Society. La máquina de Turing no fue
diseñada como una técnica informática práctica, sino como un dispositivo hipotético que representa una máquina informática.
Las máquinas de Turing ayudan a los científicos a comprender los límites de la computación mecánica.

Turing dio una definición precisa del experimento en su artículo de 1948 "Máquinas inteligentes".
 Tarea
El concepto de máquina de Turing fue introducido por Alan Turing en su libro On Computable Numbers como una aplicación al
problema Entscheidungs ​publicado por la London Mathematical Society en 1936, que aborda la pregunta de David de si las
matemáticas son decidibles. Hilbert, es decir, si hay un método definido que se puede aplicar a cualquier enunciado matemático
y nos dice si el enunciado es verdadero o no. Turing desarrolló el modelo informático formal, la máquina de Turing, y demostró
que existen problemas que las máquinas no pueden resolver. Cualquier cálculo que pueda hacer una computadora digital es
posible con este dispositivo extremadamente simple.

Usando este modelo teórico y el análisis de complejidad algorítmica, los problemas computacionales se pueden clasificar de
acuerdo con su comportamiento, dando como resultado conjuntos de problemas llamados P y NP cuyas soluciones se pueden
encontrar en tiempo polinomial mediante máquinas de Turing. y por lo tanto no determinista. Más específicamente, el
argumento de Church-Turing, desarrollado de forma independiente por Alan Turing y Alonzo Church a mediados del siglo XX,
describe el concepto de computación informal utilizando máquinas de Turing. La idea básica es que una máquina de Turing
puede considerarse como un autómata que ejecuta un programa eficiente formalmente definido, donde el espacio de memoria
de trabajo es infinito, pero solo una porción limitada está disponible en un momento dado.
 Proceso
Lenguaje de una Máquina de Turing

El lenguaje de una Máquina de Turing

M=(Q,Σ,T,δ,q0,B,F)M=(Q,Σ,T,δ,q0,B,F)
es
L(M):={w∈Σ∗ : q0w⊢∗ αpβ,p∈F,α,β∈T∗}L(M):={w∈Σ∗ : q0w⊢∗ αpβ,p∈F,α,β∈T∗}
Es decir, las w de Σ* tales que la máquina de Turing alcanza un estado de aceptación.

Lenguaje Recursivo

Sea L el lenguaje de una máquina de Turing M, es decir, L = L(M), y además,

si w es una palabra de L, entonces M se para (y alcanza un estado de aceptación)
si w no es una palabra de L, entonces M se para (pero no alcanza un estado de aceptación)
Entonces se dice que L es un lenguaje recursivo.
 Teoremas sobre las máquinas de Turing

Lenguaje Recursivamente Enumerable

Recordemos que llamamos lenguaje Recursivamente Enumerable (RE) a los lenguajes que pueden ser aceptados por una Máquina
de Turing.
· Teorema 1
Todo lenguaje aceptado por una Máquina de Turing de varias cintas es Recursivamente Enumerable.
· Teorema 2
Sea L = L(M) el lenguaje que acepta una máquina de Turing no determinista M, entonces existe una máquina de Turing
deterministaN que acepta dicho lenguaje, es decir, L(M) =L (N).

Lenguajes de máquinas de Turing y de Autómatas

· Teorema 3
Sea L el lenguaje aceptado por una máquina de Turing, entonces existe algún Autómata de dos pilas que acepta L.
· Teorema 4
Todo lenguaje Recursivamente Enumerable es aceptado por alguna máquina de tres contadores.
· Teorema 5
Todo lenguaje Recursivamente Enumerable es aceptado por alguna máquina de dos contadores.

Funcionamiento de la Maquina de Turing

Cómo funcionan las máquinas de Turing
Una máquina de Turing consta de un cabezal de lectura y escritura y una cinta magnética infinita que lee contenido, borra contenido
antiguo y escribe valores nuevos. Las operaciones que se pueden realizar con esta máquina se limitan a:
Mueva el cabezal de lectura/escritura hacia la derecha. Una visualización de una máquina de Turing que muestra la cabeza y la cinta
que se está leyendo.
el cabezal de lectura/escritura hacia la izquierda. El cálculo está determinado por la tabla de estado de la siguiente forma:
(estado, valor){\displaystyle \rightarrow }\rightarrow(nuevoestado,nuevovalor,dirección)
La tabla toma como argumentos el estado actual de la máquina y los caracteres leídos de la cinta, indicando el sentido de
movimiento del eje, el nuevo estado de la máquina y el valor escrito en la cinta.

La memoria es la cinta magnética de una máquina dividida en áreas de trabajo llamadas celdas donde se pueden escribir y leer
símbolos. Inicialmente, todas las celdas tienen un símbolo especial llamado "en blanco". Las instrucciones que determinan el
funcionamiento de la máquina toman la siguiente forma: “Si estamos en la posición x para leer la posición y donde está escrito el
símbolo z, debemos reemplazar este símbolo por otro símbolo y seguir leyendo en la siguiente celda. o hacia la derecha." Las
máquinas de Turing pueden considerarse como autómatas que pueden reconocer lenguajes formales. En este sentido, es capaz de
reconocer muchos lenguajes de forma recursiva según la jerarquía de Chomsky. Por tanto, su potencia es superior a otro tipo de
autómatas, como los autómatas finitos o los autómatas con baterías, o comparable a otros modelos con la misma potencia de
cómputo.
Representación como diagrama de estados
Una máquina de Turing se puede representar mediante un gráfico determinado, también conocido como gráfico de estado final, de la
siguiente manera:
· Los estados se representan como vértices, etiquetados internamente con sus nombres.
· Las transiciones de un estado a otro están representadas por bordes rectos que conectan estos vértices y están etiquetadas
con símbolos leídos por la cabeza/símbolos de patrón de cabeza a medida que la cabeza se mueve.
· El estado inicial se caracteriza por una arista que va hacia él y no viene de otro vértice.
· Los estados finales están representados por vértices, que a su vez están rodeados por otro círculo.
 Evaluación
La prueba de Turing, o prueba de Turing, es una prueba que prueba la capacidad de una máquina para exhibir un
comportamiento inteligente que es similar o indistinguible del comportamiento humano. Alan Turing sugirió que las personas
valoran las conversaciones en lenguaje natural entre humanos y máquinas diseñadas para producir respuestas similares a las
humanas. El evaluador sabrá que uno de los participantes en la conversación es una máquina, y los participantes estarán
separados unos de otros. Las conversaciones se limitarán a medios de solo texto, como teclados y pantallas de computadora, por
lo que la capacidad de la máquina para convertir texto a voz será
Si el evaluador no puede distinguir correctamente a un humano de una máquina (Turing originalmente sugirió que una máquina
debería convencer al evaluador después de una conversación de 5 minutos el 70% del tiempo), la máquina puede pasar la
prueba. La prueba no evalúa el conocimiento de una máquina en función de su capacidad para responder preguntas
correctamente, solo evalúa su capacidad para producir respuestas similares a las que dan los humanos.
Turing propuso esta prueba en su artículo de 1950 "Computing Machines and Intelligence" mientras estaba en la Universidad de
Manchester (Turing, 1950; p. 460).
Comienza con las palabras: "Propongo considerar la siguiente pregunta: '¿Pueden pensar las máquinas?'". Debido a que la
palabra "pensar" era difícil de definir, Turing decidió "reemplazar la pregunta con otra palabra definida y estrechamente
relacionada".
La nueva pregunta de Turing fue: "¿Existe una computadora digital que se pueda imaginar que juegue bien el juego de
simulación?". Turing creía que esta pregunta sí podía responderse, y en el resto del ensayo se dedicó a refutar las principales
objeciones a la idea de que las máquinas pueden pensar.
Desde la creación de Turing en 1950, la prueba ha demostrado ser muy influyente y ampliamente criticada, y se ha convertido en
un concepto importante en la filosofía de la inteligencia artificial.
 Ejemplos
Ejemplo 1.

Escribiendo s0 = B, s1 = 1, consideremos la siguiente máquina de Turing:

El conjunto de estados es {q1, q2, q3}.
El estado inicial es q1.
El alfabeto es {1}
Las cuádruplas son
q1 B R q2
q2 1 R q2
q2 B 1 q3
q3 1 R q3
q3 B 1 q1
 Ejemplo 2.

Estado
Símbolo q1 q2 q3
B R q2 1 q3 Q q1
1 R q2 R q3

Ejemplo 3.
La siguiente máquina simple de Turing reconoce el conjunto de palabras de igual longitud sobre {a, b}. El diagrama de
transición de estados para este dispositivo es:

Las transiciones entre estados están representadas por flechas etiquetadas por el símbolo que causa la transición. El símbolo
que queda después del desplazamiento denota al carácter que va a ser impreso o, en caso de L y R, la dirección de movimiento
de la cabeza de la cinta. El símbolo # denota el espacio en blanco B.
 Conclusión
Se puede pensar en una máquina de Turing, o MT, como una cinta magnética infinita dividida en celdas, cada una de las cuales
contiene un símbolo en el que opera un dispositivo que puede asumir diferentes estados y lee el símbolo.
Acostarse Dependiendo de este símbolo y del estado actual, hay tres acciones posibles: ir a un nuevo estado, imprimir el símbolo
en la posición que acaba de leer y mover una posición a la izquierda, a la derecha o detenerse.
Las máquinas de Turing se clasifican por estado reconocido, tipo de cinta, número de cintas o partición: MT con instrucción de
retención, MT infinita unidireccional de cinta, MT bidireccional, MT multicinta, MT multidimensional, MT no determinista.
MT, siguiendo la clasificación formal de lenguajes de Chomsky, acepta lenguajes de tipo cero (0), llamados lenguajes
recursivamente enumerables. La construcción modular de las máquinas de Turing permite el desarrollo de máquinas complejas
desde bloques de construcción básicos hasta gráficos de transición. La estructura de una máquina de Turing se realiza con el
gráfico de transición mencionado anteriormente y su combinación. La MT se ha utilizado para la teoría de la computación y el
desarrollo de los llamados oráculos, generadores de funciones, calculadoras de funciones y generadores de lenguaje.
 Link de la Wesquest

https://sites.google.com/view/maquinadeturing/inicio