SlideShare una empresa de Scribd logo
1 de 9
Descargar para leer sin conexión
1
INGENIERIA EN SISTEMAS COMPUTACIONALES
LENGUAJES Y AUTOMATAS I
UNIDAD IV
ISC ENRIQUE PONCE RIVERA
S501
08-05-2016
NOMBRE DEL ALUMNO: ANEL VERONICA SOSA MEJIA
Fecha de entrega: 09/11/2016
2
INDICE
INTRODUCCION...............................................................................................................................................3
Unidad 4. Máquinas de Turing ........................................................................................................................4
4.1 Definición formal MT.................................................................................................................................4
4.2 Construcción modular de una MT.............................................................................................................6
4.3 Lenguajes aceptados por la MT.................................................................................................................7
CONCLUSION...................................................................................................................................................8
REFERENCIAS...................................................................................................................................................9
3
INTRODUCCION
En la siguiente investigación se abordarán temas a cerca de la máquina de Turing y subtemas de la
4ª unidad del plan de estudios de la materia LENGUAJES Y AUTOMATAS I; donde se aprenderá y
conocerá la importancia del estudio de la Máquina de Turing dentro de los procesos de desarrollo
de software, y algunas aplicaciones.
Se conocerá deforma formal que es una máquina de Turing y sus componentes; además de ello se
detallara de forma explícita algunos conceptos sobre su desarrollo y formación.
La máquina de Turing es un dispositivo capaz de establecer los problemas intratables, para conocer
si es resolutorio o no. Tales confirmaciones se deben y se detallan de cada proceso u problemas
matemáticos de la vida real.
Al igual que los AF la máquina de Turing utiliza estructuras, transiciones y formas de conformación
para la representación de los modelos matemáticos, de situación en las que se desea conocer si
estos tienen soluciones, ya que un computador no puede definir dicha confirmación, ya que es un
proceso tardado.
4
Unidad 4. Máquinas de Turing
A finales del siglo XIX, el matemático David Hilbert se preguntó si era posible encontrar un
algoritmo para determinar la verdad o falsedad de cualquier proposición matemática. En
particular, se preguntaba si existiría un modo de determinar si cualquier fórmula del cálculo de
predicados de primer orden, aplicado a enteros, es verdadera. Dado que el cálculo de predicados
de primer orden sobre los enteros es suficientemente potente como para expresar frases como
esta gramática es ambigua, si Hilbert hubiera tenido éxito, existirían algoritmos para dichos
problemas, que ahora sabemos que no existen esta proposición se conoce con el nombre de
problema de Hilbert.
En 1963, Alan Mathinson Turing propuso la máquina que lleva su nombre como modelo de
cualquier computación posible. Este modelo se parece más a una computadora que a un
programa, aunque las verdaderas computadoras electrónicas, o incluso los electromecánicas,
tardaron varios años en ser construidas. La máquina de Turing consta de una unidad de control,
que pueda estar en cualquier estado tomado de un conjunto infinito. Hay una cinta dividida en
cuadrados o casillas, y cada casilla puede contener un símbolo, tomado de otro conjunto infinito.
Inicialmente, se sitúa en la cinta de entrada, que es una cadena de símbolos de longitud infinita,
elegidos del alfabeto de entrada. El resto de las casillas de la cinta, que se extiende infinitamente
hacia la derecha y hacia la izquierda, contiene, inicialmente, un símbolo denominado espacio en
blanco. El espacio en blanco es un símbolo de cinta, pero no un símbolo de entrada, y puede haber
también otros símbolos de cinta además de los símbolos de entrada y del espacio en blanco. Existe
una cabeza de la cinta que siempre está situada sobre una de las casillas de la cinta. Se dice que la
máquina de Turing está señalando dicha casilla. Al principio, la cabeza de la cinta se encuentra en
la casilla de la entrada situada más a la izquierda. Un movimiento de la máquina de Turing es una
función del estado de la unidad de control y del símbolo de la cinta al que señala lacabeza.
4.1 Definición formal MT
Una Máquina de Turing es un modelo matemático que consiste en un autómata capaz de
implementar cualquier problema matemático expresado por medio de un algoritmo.
“Una máquina de Turing es un autómata” un autómata es lo que se conoce como una máquina
teórica, es decir, un dispositivo cuyo funcionamiento se estudia sin necesidad de construirlo
realmente. En concreto un autómata es una máquina teórica que lee unas instrucciones en forma
de símbolos y cambia de estado según éstas.
5
Una máquina de Turing es un autómata que consta de una cabeza lectora y una cinta infinita en la
que la cabeza puede leer símbolos, borrarlos, escribirlos y moverse a la derecha o a la izquierda.
Por supuesto también consta de una función de estado que determinará los cambios de un estado
a otro que se deben producir en función de las instrucciones que reciba.
La Máquina de Turing (MT) es el modelo de autómata con máxima capacidad computacional: la
unidad de control puede desplazarse a izquierda o derecha y sobre escribir símbolos en la cinta de
entrada.
La función de transición. Los argumentos de (q; X ) son un estado q y un símbolo de la cinta X . El
valor de (q; X ), si esta es una tupla (p; Y; S ) donde:
6
4.2 Construcción modular de una MT
Para describir formalmente lo que hace una máquina de Turing, es necesario desarrollar una
notación para describir sus configuraciones o descripciones instantáneas, parecida a la notación
que se desarrolla para los autómatas a pila. En principio una máquina de Turing dispone de una
cinta de longitud infinita, por lo cual podrá suponerse que no es posible describir espáticamente su
configuración. Sin embargo, después de un número finito de movimientos, la máquina de Turing
solo habrá recorrido un número finito de casillas. Por tanto, para cualquier configuración existe un
prefijo y un sufijo infinito de casillas que no se han recorrido nunca. El contenido de dichas casillas
debe Ser espacios en blanco o símbolos del conjunto finito de símbolos de entrada.
Por lo tanto, en una configuración solo se muestran las casillas que se encuentren entre el símbolo
más a la izquierda y el símbolo más a la derecha de la cinta que no sean espacios en blanco,
además, habrá que incluir un número finito de espacios en blanco en la configuración, si se da la
condición especial de que la cabeza de la cinta señale a uno de los espacios en blanco situados
antes o después de la cadena de entrada.
Además de la representación de la cinta, debe ser posible representar el estado de la unidad de
control, así como la posición de la cabeza de la cinta. Para ello, insertaremos el estado en la cinta,
situándolo inmediatamente a la izquierda de la casilla señalada por la cabeza. Para que la cadena
que representa el contenido de la cinta junto con el estado de la unidad de control no resulte
ambigua, es necesario asegurarse de que no se utiliza como estado ningún símbolo que forme
parte del conjunto de símbolos de cinta. Sin embargo, es sencillo cambiar los nombres de los
estados de forma que no tengan nada en común con los símbolos de la cinta, dado que la
operación de la máquina de Turing no depende de cómo se llamen sus estados. Por tanto,
utilizaremos la cadena para representar una configuración en la que:
Los movimientos de una máquina de Turing se describen utilizando la notación
7
4.3 Lenguajes aceptados por la MT.
Podremos decir que la forma en la que una máquina de Turing acepta una cadena es la siguiente:
la cadena de entrada se sitúa en la cinta y la cabeza comienza señalando el símbolo de entrada que
se encuentra más a la izquierda; si la máquina de Turing llega a un estado de aceptación al final del
proceso, se considera que la cadena es reconocida, en caso contrario, decimos que la cadena no
fue aceptada.
De manera formal dada una máquina de Turing el lenguaje L(M) es el
conjunto de cadenas de tales que para algún estado p del conjunto de estado
finales F, y cualesquiera dos cadenas de cinta α y β. Los lenguajes que son pueden ser aceptados
por la máquina de Turing reciben el nombre de lenguajes recursivamente enumérales o lenguajes
RE.
Sin embargo este no es el único método para la aceptación de una cadena, existe otro que
comúnmente se le conoce con el nombre de aceptación por parada. Se dice que una máquina de
Turing se para si alcanza un estado q cuando señala a un símbolo de la cinta X, sin que se produzca
ningún movimiento en dicha situación; es decir δ(q,X) no está definida. Siempre se puede suponer
que una máquina de Turing se para si acepta, es decir sin introducir variaciones en el lenguaje
aceptado, se puede hacer que δ(q,X) se quede sin definir siempre que q sea un estado de
aceptación. En general a menos que se especifique lo contrario, suponemos que una máquina de
Turing siempre se para cuándo está en un estado de aceptación, aunque no en todos los casos
ocurre esto. Los lenguajes reconocidos por máquinas de Turing que siempre se paran, acepten o
no, se les conoce con el nombre de recursivos. Las máquinas de Turing que siempre se paran con
independencia de que acepten o no, son un buen modelo de algoritmo. Si existe un algoritmo para
resolver un problema dado, entonces se dice que el problema es decidible, con lo cual se observa
que las máquinas de Turing que siempre se paran, tienen un papel importante en la teoría de la
dicisibilidad.
8
CONCLUSION
Las máquinas de Turing son elementales no solo en la resolución de problemas indefinibles o
intratables; ya que estos ayudan a los ingenieros en programación a usarlos como una metodología
de análisis y diseño en la resolución de dicho problema, estos pueden ser definido de forma
sencilla o tediosa.
Estos algoritmos matemáticos ayudan a la resolución de problemas del mundo real, con la
diferencia que estos tienden a hacer tratados más detalladamente, unos que otros. Las máquinas
de Turing han venido a facilitar y ayudar al programador como al ser humano en las tomas de
decisiones en cuanto a problemas de la vida cotidiana.
Ya que en casos particulares se tiende a llegar al desbordamiento de ideas en cuanto al análisis y
diseño de respuestas a un suceso en particular de la vida diaria, además de ello las máquinas de
Turing ayudan en la estandarización de las máquinas electrónicas para poder entrar de un estado a
otro; es decir, que estas pueden llegar a pensar que decisión tomar, cuando estén sometidas o se
encuentren en una situación dada en un contexto en especial.
El estudio de estas algebras matemáticas, al pasar los años ayudaran en la creación de muchos
elementos electrónicos, que facilitaran la vida de la especie humana en la adaptación de los
cambios informáticos. Los cuales fortalecerán el crecimiento de muchos continentes al desarrollo
del nuevo mundo.
Las herramientas de soluciones de problemas y respuestas en cuanto a su solución podemos
utilizar los grafos y tablas de transiciones de las Máquinas de Turing para conocer el tiempo de
ejecución y el tiempo en que se puede tardar para encontrar la posiblesolución.
En conclusión se detalla en pocas palabras, que las máquinas de Turing son herramientas muy
sencillas y a la vez efectivas, como metodologías para las soluciones de problemas; interpretadas
de forma matemática u Grafórica (grafo), que ayudan al personaje a la interpretación de los
resultados, son ambiguos, sencillos, factibles yóptimos.
9
REFERENCIAS
 JOHN E. HOPCROFT, RAJEEV MOTWANI, JEFFREY D. ULLMAN. (2008). Introducción a la
teoría de autómatas lenguajes y computación. Madrid, España:PEARSON EDUCACIÓN S.A
 Manuel Alfonseca Moreno, Justo Sancho Rodríguez, Miguel Martínez Orga. (1987). Teoría
de lenguajes, gramáticas y automátas. Madrid, España: Madrid : Universidad y Cultura, D.L.
1987.
 José Del Carmen Méndez Candelaria. (2015). Autómatas Finitos. 2016, de
documents.mx Sitio web: http://documents.mx/documents/unidad-iii-y-iv-
lenguajes-y-automatas-i.html

Más contenido relacionado

La actualidad más candente

Unidad 4 graficación
Unidad 4 graficaciónUnidad 4 graficación
Unidad 4 graficaciónAndhy H Palma
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.LuiS YmAY
 
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesPortafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesHumano Terricola
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...Hugo Alberto Rivera Diaz
 
automatas finitos
 automatas finitos automatas finitos
automatas finitosAnel Sosa
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosHumano Terricola
 
ESPRESIONES REGULARES
ESPRESIONES REGULARESESPRESIONES REGULARES
ESPRESIONES REGULARESAnel Sosa
 
Particiones EstáTicas
Particiones EstáTicasParticiones EstáTicas
Particiones EstáTicasdanielchecar
 
Programación lógica y funcional
Programación lógica y funcionalProgramación lógica y funcional
Programación lógica y funcionalAlejandra MA
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regularesKenia Adams
 
Autómatas de Pila
Autómatas de PilaAutómatas de Pila
Autómatas de PilaPablo Guerra
 

La actualidad más candente (20)

Traductor y su estructura
Traductor y su estructuraTraductor y su estructura
Traductor y su estructura
 
Unidad 2 expresiones regulares
Unidad 2 expresiones regularesUnidad 2 expresiones regulares
Unidad 2 expresiones regulares
 
Código intermedio
Código intermedioCódigo intermedio
Código intermedio
 
Unidad 4 graficación
Unidad 4 graficaciónUnidad 4 graficación
Unidad 4 graficación
 
Lenguajes autómatas.
Lenguajes autómatas.Lenguajes autómatas.
Lenguajes autómatas.
 
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesPortafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regulares
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
 
automatas finitos
 automatas finitos automatas finitos
automatas finitos
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
 
Control de Flujo [Telecomunicaciones]
Control de Flujo [Telecomunicaciones]Control de Flujo [Telecomunicaciones]
Control de Flujo [Telecomunicaciones]
 
ESPRESIONES REGULARES
ESPRESIONES REGULARESESPRESIONES REGULARES
ESPRESIONES REGULARES
 
Lenguajes de una maquina de turing
Lenguajes de una maquina de turingLenguajes de una maquina de turing
Lenguajes de una maquina de turing
 
Unidad1 2 Lenguajes y automatas
Unidad1 2  Lenguajes y automatasUnidad1 2  Lenguajes y automatas
Unidad1 2 Lenguajes y automatas
 
Jerarquia de chomsky
Jerarquia de chomskyJerarquia de chomsky
Jerarquia de chomsky
 
Particiones EstáTicas
Particiones EstáTicasParticiones EstáTicas
Particiones EstáTicas
 
Programación lógica y funcional
Programación lógica y funcionalProgramación lógica y funcional
Programación lógica y funcional
 
Estructura de Datos - Unidad 6 Metodos de busqueda
Estructura de Datos - Unidad 6 Metodos de busquedaEstructura de Datos - Unidad 6 Metodos de busqueda
Estructura de Datos - Unidad 6 Metodos de busqueda
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regulares
 
Autómatas de Pila
Autómatas de PilaAutómatas de Pila
Autómatas de Pila
 
Compiladores
CompiladoresCompiladores
Compiladores
 

Similar a maquinas de turing

Maquina de turing - Enzo y Bolivar - Teoria de Automatas
Maquina de turing - Enzo y Bolivar - Teoria de AutomatasMaquina de turing - Enzo y Bolivar - Teoria de Automatas
Maquina de turing - Enzo y Bolivar - Teoria de AutomatasEnzo Casamassima
 
La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.Emmanuel Colon
 
Máquina de Turing.pptx
Máquina de Turing.pptxMáquina de Turing.pptx
Máquina de Turing.pptxYessicaReyes30
 
Reny galaviz web quest
Reny galaviz web questReny galaviz web quest
Reny galaviz web questReny-Galaviz
 
Reny Galaviz Web Quest
Reny Galaviz Web QuestReny Galaviz Web Quest
Reny Galaviz Web QuestReny-Galaviz
 
Algoritmos univ colombia
Algoritmos univ colombiaAlgoritmos univ colombia
Algoritmos univ colombiaJulio Camargo
 
Algoritmos
AlgoritmosAlgoritmos
AlgoritmosCarlos
 
Maquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e IrresolubilidadMaquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e Irresolubilidadlluis31
 
Máquina de turing
Máquina de turingMáquina de turing
Máquina de turingIvan
 
Máquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y AplicacionesMáquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y AplicacionesRosviannis Barreiro
 
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringPortafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringHumano Terricola
 
Primera Presentación
Primera PresentaciónPrimera Presentación
Primera PresentaciónPatricho
 
Manuel torres web-quest informe
Manuel torres web-quest informeManuel torres web-quest informe
Manuel torres web-quest informeMrx Mirrorx
 
Uso de las técnicas de programación para las máquinas de Turing
Uso de las técnicas de programación para las máquinas de TuringUso de las técnicas de programación para las máquinas de Turing
Uso de las técnicas de programación para las máquinas de TuringHans Krakaur
 

Similar a maquinas de turing (20)

Maquina de turing - Enzo y Bolivar - Teoria de Automatas
Maquina de turing - Enzo y Bolivar - Teoria de AutomatasMaquina de turing - Enzo y Bolivar - Teoria de Automatas
Maquina de turing - Enzo y Bolivar - Teoria de Automatas
 
La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.
 
Máquina de Turing.pptx
Máquina de Turing.pptxMáquina de Turing.pptx
Máquina de Turing.pptx
 
Reny galaviz web quest
Reny galaviz web questReny galaviz web quest
Reny galaviz web quest
 
Reny Galaviz Web Quest
Reny Galaviz Web QuestReny Galaviz Web Quest
Reny Galaviz Web Quest
 
Algoritmos univ colombia
Algoritmos univ colombiaAlgoritmos univ colombia
Algoritmos univ colombia
 
Algoritmos
AlgoritmosAlgoritmos
Algoritmos
 
Maquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e IrresolubilidadMaquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e Irresolubilidad
 
1 ejercicio mt.
1 ejercicio mt.1 ejercicio mt.
1 ejercicio mt.
 
Máquina de turing
Máquina de turingMáquina de turing
Máquina de turing
 
Teoría de autómatas
Teoría de autómatasTeoría de autómatas
Teoría de autómatas
 
Máquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y AplicacionesMáquinas de Turing - Tipos y Aplicaciones
Máquinas de Turing - Tipos y Aplicaciones
 
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de TuringPortafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
Portafolio Unidad 4 [Lenguajes y autómatas] - Máquinas de Turing
 
Maquina de Turing
Maquina de TuringMaquina de Turing
Maquina de Turing
 
Primera Presentación
Primera PresentaciónPrimera Presentación
Primera Presentación
 
Manuel torres web-quest informe
Manuel torres web-quest informeManuel torres web-quest informe
Manuel torres web-quest informe
 
Tema 5 computabilidad y algoritmos
Tema 5 computabilidad y algoritmosTema 5 computabilidad y algoritmos
Tema 5 computabilidad y algoritmos
 
Taller nro 24
Taller nro 24Taller nro 24
Taller nro 24
 
Maquina de turing
Maquina de turingMaquina de turing
Maquina de turing
 
Uso de las técnicas de programación para las máquinas de Turing
Uso de las técnicas de programación para las máquinas de TuringUso de las técnicas de programación para las máquinas de Turing
Uso de las técnicas de programación para las máquinas de Turing
 

Más de Anel Sosa

Codigo Visual Studio: Galeria de imagenes
Codigo Visual Studio: Galeria de imagenesCodigo Visual Studio: Galeria de imagenes
Codigo Visual Studio: Galeria de imagenesAnel Sosa
 
Comandos sql
Comandos sql Comandos sql
Comandos sql Anel Sosa
 
Codigo ensamblador
Codigo ensamblador Codigo ensamblador
Codigo ensamblador Anel Sosa
 
INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”
INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”
INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”Anel Sosa
 
APLICACIONES DE LAS ECUACIONES DIFERENCIALES
APLICACIONES DE LAS ECUACIONES DIFERENCIALESAPLICACIONES DE LAS ECUACIONES DIFERENCIALES
APLICACIONES DE LAS ECUACIONES DIFERENCIALESAnel Sosa
 
SISTEMA OPERATIVOS
SISTEMA OPERATIVOSSISTEMA OPERATIVOS
SISTEMA OPERATIVOSAnel Sosa
 
INVESTIGACIÓN DE CHIPSET
INVESTIGACIÓN DE CHIPSET INVESTIGACIÓN DE CHIPSET
INVESTIGACIÓN DE CHIPSET Anel Sosa
 
Metodologia incremental
Metodologia incrementalMetodologia incremental
Metodologia incrementalAnel Sosa
 
Paradigmas de programacion
Paradigmas de programacion Paradigmas de programacion
Paradigmas de programacion Anel Sosa
 
Escenario socioeconomico
Escenario socioeconomicoEscenario socioeconomico
Escenario socioeconomicoAnel Sosa
 
Investigacion calculo derivadas e integrales
Investigacion calculo derivadas e integralesInvestigacion calculo derivadas e integrales
Investigacion calculo derivadas e integralesAnel Sosa
 
Lenguajes de simulacion
Lenguajes de simulacionLenguajes de simulacion
Lenguajes de simulacionAnel Sosa
 
maquinas de turing jflap
maquinas de turing jflapmaquinas de turing jflap
maquinas de turing jflapAnel Sosa
 
Panuco Veracruz
Panuco Veracruz Panuco Veracruz
Panuco Veracruz Anel Sosa
 
que es un Curriculum
que es un Curriculumque es un Curriculum
que es un CurriculumAnel Sosa
 
Programa expresiones regulares
Programa expresiones regularesPrograma expresiones regulares
Programa expresiones regularesAnel Sosa
 
investigacion introduccion a los lenguajes y automatas
investigacion introduccion a los lenguajes y automatasinvestigacion introduccion a los lenguajes y automatas
investigacion introduccion a los lenguajes y automatasAnel Sosa
 
dibujo jigglypuff en java
dibujo jigglypuff en java dibujo jigglypuff en java
dibujo jigglypuff en java Anel Sosa
 
programa pelotas java
programa pelotas javaprograma pelotas java
programa pelotas javaAnel Sosa
 

Más de Anel Sosa (20)

Codigo Visual Studio: Galeria de imagenes
Codigo Visual Studio: Galeria de imagenesCodigo Visual Studio: Galeria de imagenes
Codigo Visual Studio: Galeria de imagenes
 
Comandos sql
Comandos sql Comandos sql
Comandos sql
 
Codigo ensamblador
Codigo ensamblador Codigo ensamblador
Codigo ensamblador
 
INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”
INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”
INVESTIGACION “SOLUCION DE SISTEMAS DE ECUACIONES: METODO DE JACOBY”
 
APLICACIONES DE LAS ECUACIONES DIFERENCIALES
APLICACIONES DE LAS ECUACIONES DIFERENCIALESAPLICACIONES DE LAS ECUACIONES DIFERENCIALES
APLICACIONES DE LAS ECUACIONES DIFERENCIALES
 
SISTEMA OPERATIVOS
SISTEMA OPERATIVOSSISTEMA OPERATIVOS
SISTEMA OPERATIVOS
 
INVESTIGACIÓN DE CHIPSET
INVESTIGACIÓN DE CHIPSET INVESTIGACIÓN DE CHIPSET
INVESTIGACIÓN DE CHIPSET
 
SIMMAN 3G
SIMMAN 3GSIMMAN 3G
SIMMAN 3G
 
Metodologia incremental
Metodologia incrementalMetodologia incremental
Metodologia incremental
 
Paradigmas de programacion
Paradigmas de programacion Paradigmas de programacion
Paradigmas de programacion
 
Escenario socioeconomico
Escenario socioeconomicoEscenario socioeconomico
Escenario socioeconomico
 
Investigacion calculo derivadas e integrales
Investigacion calculo derivadas e integralesInvestigacion calculo derivadas e integrales
Investigacion calculo derivadas e integrales
 
Lenguajes de simulacion
Lenguajes de simulacionLenguajes de simulacion
Lenguajes de simulacion
 
maquinas de turing jflap
maquinas de turing jflapmaquinas de turing jflap
maquinas de turing jflap
 
Panuco Veracruz
Panuco Veracruz Panuco Veracruz
Panuco Veracruz
 
que es un Curriculum
que es un Curriculumque es un Curriculum
que es un Curriculum
 
Programa expresiones regulares
Programa expresiones regularesPrograma expresiones regulares
Programa expresiones regulares
 
investigacion introduccion a los lenguajes y automatas
investigacion introduccion a los lenguajes y automatasinvestigacion introduccion a los lenguajes y automatas
investigacion introduccion a los lenguajes y automatas
 
dibujo jigglypuff en java
dibujo jigglypuff en java dibujo jigglypuff en java
dibujo jigglypuff en java
 
programa pelotas java
programa pelotas javaprograma pelotas java
programa pelotas java
 

Último

FORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIA
FORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIAFORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIA
FORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIACesarCastilloHernand
 
Ciclo de Refrigeracion aplicado a ToniCorp.pptx
Ciclo de Refrigeracion aplicado a ToniCorp.pptxCiclo de Refrigeracion aplicado a ToniCorp.pptx
Ciclo de Refrigeracion aplicado a ToniCorp.pptxUniversidad de Guayaquil
 
2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdf
2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdf2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdf
2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdfAdolfo Acero Aguilar
 
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOSTEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOSCarlosHuamulloDavila1
 
Trabajo de cristalografia. año 2024 mes de mayo
Trabajo de cristalografia. año 2024 mes de mayoTrabajo de cristalografia. año 2024 mes de mayo
Trabajo de cristalografia. año 2024 mes de mayoAntonioCardenas58
 
Diagramas de Tiempo.pptpara electronica aplicada
Diagramas de Tiempo.pptpara electronica aplicadaDiagramas de Tiempo.pptpara electronica aplicada
Diagramas de Tiempo.pptpara electronica aplicadaSantiago Luis Gómez
 
METRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptx
METRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptxMETRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptx
METRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptxEdwardRodriguezPalom1
 
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docxESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docxAnonymousk8JgrnuMSr
 
guia-diseno-instalaciones-electricas.pdf
guia-diseno-instalaciones-electricas.pdfguia-diseno-instalaciones-electricas.pdf
guia-diseno-instalaciones-electricas.pdfguillermo ruiz
 
CICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptx
CICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptxCICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptx
CICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptxsalvadormejia14
 
Presentación de proyecto y resumen de conceptos (3).pdf
Presentación de proyecto y resumen de conceptos (3).pdfPresentación de proyecto y resumen de conceptos (3).pdf
Presentación de proyecto y resumen de conceptos (3).pdflisCuenca
 
368165951-Procedimiento-de-Gruas-e-Izaje.doc
368165951-Procedimiento-de-Gruas-e-Izaje.doc368165951-Procedimiento-de-Gruas-e-Izaje.doc
368165951-Procedimiento-de-Gruas-e-Izaje.docangelmt2
 
CLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptx
CLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptxCLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptx
CLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptxLuisLobatoingaruca
 
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPODIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPOSegundo Silva Maguiña
 
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...FRANCISCOJUSTOSIERRA
 
TERRENO DE FUNDACION - CURSO DE PAVIMENTOS
TERRENO DE FUNDACION - CURSO DE PAVIMENTOSTERRENO DE FUNDACION - CURSO DE PAVIMENTOS
TERRENO DE FUNDACION - CURSO DE PAVIMENTOSELIAS RAMIREZ JUAREZ
 

Último (20)

Deusto Ingeniería 24 (Año 2023) - Universidad de Deusto
Deusto Ingeniería 24 (Año 2023) - Universidad de DeustoDeusto Ingeniería 24 (Año 2023) - Universidad de Deusto
Deusto Ingeniería 24 (Año 2023) - Universidad de Deusto
 
FORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIA
FORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIAFORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIA
FORMATO PARA CONTROL DE CALIDAD DE PRODUCTOS VARIOS EN INGENIERIA ALIMENTARIA
 
Ciclo de Refrigeracion aplicado a ToniCorp.pptx
Ciclo de Refrigeracion aplicado a ToniCorp.pptxCiclo de Refrigeracion aplicado a ToniCorp.pptx
Ciclo de Refrigeracion aplicado a ToniCorp.pptx
 
2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdf
2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdf2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdf
2021-MAYO-CAP-RL_SEGURIDAD-PARA-DELEGADOS_08.05.21-ENVIADO.pdf
 
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOSTEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
TEST ESPACIAL CONTEO DE CUBOS y TEST DE MOSAICOS
 
Trabajo de cristalografia. año 2024 mes de mayo
Trabajo de cristalografia. año 2024 mes de mayoTrabajo de cristalografia. año 2024 mes de mayo
Trabajo de cristalografia. año 2024 mes de mayo
 
Litio en México y su uso en baterías
Litio en México y su uso en bateríasLitio en México y su uso en baterías
Litio en México y su uso en baterías
 
Diagramas de Tiempo.pptpara electronica aplicada
Diagramas de Tiempo.pptpara electronica aplicadaDiagramas de Tiempo.pptpara electronica aplicada
Diagramas de Tiempo.pptpara electronica aplicada
 
METRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptx
METRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptxMETRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptx
METRADOS EN OBRAS DE PAVIMENTACION- ACTUALIZADA.pptx
 
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docxESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
 
guia-diseno-instalaciones-electricas.pdf
guia-diseno-instalaciones-electricas.pdfguia-diseno-instalaciones-electricas.pdf
guia-diseno-instalaciones-electricas.pdf
 
ESTRATEGIA comercial de productos en mineria.pptx
ESTRATEGIA comercial de productos en mineria.pptxESTRATEGIA comercial de productos en mineria.pptx
ESTRATEGIA comercial de productos en mineria.pptx
 
CICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptx
CICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptxCICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptx
CICLO OTTO PARA MOTORES DE DOS Y CUATRO TIEMPOS CON EJEMPLOS.pptx
 
Presentación de proyecto y resumen de conceptos (3).pdf
Presentación de proyecto y resumen de conceptos (3).pdfPresentación de proyecto y resumen de conceptos (3).pdf
Presentación de proyecto y resumen de conceptos (3).pdf
 
368165951-Procedimiento-de-Gruas-e-Izaje.doc
368165951-Procedimiento-de-Gruas-e-Izaje.doc368165951-Procedimiento-de-Gruas-e-Izaje.doc
368165951-Procedimiento-de-Gruas-e-Izaje.doc
 
50870516-hidroponia. descargado en novppt
50870516-hidroponia. descargado en novppt50870516-hidroponia. descargado en novppt
50870516-hidroponia. descargado en novppt
 
CLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptx
CLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptxCLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptx
CLASES DE ARRANQUE DE UN MOTOR ELECTRICO.pptx
 
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPODIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
 
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 20.5 PREFERIDO.wbk.wbk SEG...
 
TERRENO DE FUNDACION - CURSO DE PAVIMENTOS
TERRENO DE FUNDACION - CURSO DE PAVIMENTOSTERRENO DE FUNDACION - CURSO DE PAVIMENTOS
TERRENO DE FUNDACION - CURSO DE PAVIMENTOS
 

maquinas de turing

  • 1. 1 INGENIERIA EN SISTEMAS COMPUTACIONALES LENGUAJES Y AUTOMATAS I UNIDAD IV ISC ENRIQUE PONCE RIVERA S501 08-05-2016 NOMBRE DEL ALUMNO: ANEL VERONICA SOSA MEJIA Fecha de entrega: 09/11/2016
  • 2. 2 INDICE INTRODUCCION...............................................................................................................................................3 Unidad 4. Máquinas de Turing ........................................................................................................................4 4.1 Definición formal MT.................................................................................................................................4 4.2 Construcción modular de una MT.............................................................................................................6 4.3 Lenguajes aceptados por la MT.................................................................................................................7 CONCLUSION...................................................................................................................................................8 REFERENCIAS...................................................................................................................................................9
  • 3. 3 INTRODUCCION En la siguiente investigación se abordarán temas a cerca de la máquina de Turing y subtemas de la 4ª unidad del plan de estudios de la materia LENGUAJES Y AUTOMATAS I; donde se aprenderá y conocerá la importancia del estudio de la Máquina de Turing dentro de los procesos de desarrollo de software, y algunas aplicaciones. Se conocerá deforma formal que es una máquina de Turing y sus componentes; además de ello se detallara de forma explícita algunos conceptos sobre su desarrollo y formación. La máquina de Turing es un dispositivo capaz de establecer los problemas intratables, para conocer si es resolutorio o no. Tales confirmaciones se deben y se detallan de cada proceso u problemas matemáticos de la vida real. Al igual que los AF la máquina de Turing utiliza estructuras, transiciones y formas de conformación para la representación de los modelos matemáticos, de situación en las que se desea conocer si estos tienen soluciones, ya que un computador no puede definir dicha confirmación, ya que es un proceso tardado.
  • 4. 4 Unidad 4. Máquinas de Turing A finales del siglo XIX, el matemático David Hilbert se preguntó si era posible encontrar un algoritmo para determinar la verdad o falsedad de cualquier proposición matemática. En particular, se preguntaba si existiría un modo de determinar si cualquier fórmula del cálculo de predicados de primer orden, aplicado a enteros, es verdadera. Dado que el cálculo de predicados de primer orden sobre los enteros es suficientemente potente como para expresar frases como esta gramática es ambigua, si Hilbert hubiera tenido éxito, existirían algoritmos para dichos problemas, que ahora sabemos que no existen esta proposición se conoce con el nombre de problema de Hilbert. En 1963, Alan Mathinson Turing propuso la máquina que lleva su nombre como modelo de cualquier computación posible. Este modelo se parece más a una computadora que a un programa, aunque las verdaderas computadoras electrónicas, o incluso los electromecánicas, tardaron varios años en ser construidas. La máquina de Turing consta de una unidad de control, que pueda estar en cualquier estado tomado de un conjunto infinito. Hay una cinta dividida en cuadrados o casillas, y cada casilla puede contener un símbolo, tomado de otro conjunto infinito. Inicialmente, se sitúa en la cinta de entrada, que es una cadena de símbolos de longitud infinita, elegidos del alfabeto de entrada. El resto de las casillas de la cinta, que se extiende infinitamente hacia la derecha y hacia la izquierda, contiene, inicialmente, un símbolo denominado espacio en blanco. El espacio en blanco es un símbolo de cinta, pero no un símbolo de entrada, y puede haber también otros símbolos de cinta además de los símbolos de entrada y del espacio en blanco. Existe una cabeza de la cinta que siempre está situada sobre una de las casillas de la cinta. Se dice que la máquina de Turing está señalando dicha casilla. Al principio, la cabeza de la cinta se encuentra en la casilla de la entrada situada más a la izquierda. Un movimiento de la máquina de Turing es una función del estado de la unidad de control y del símbolo de la cinta al que señala lacabeza. 4.1 Definición formal MT Una Máquina de Turing es un modelo matemático que consiste en un autómata capaz de implementar cualquier problema matemático expresado por medio de un algoritmo. “Una máquina de Turing es un autómata” un autómata es lo que se conoce como una máquina teórica, es decir, un dispositivo cuyo funcionamiento se estudia sin necesidad de construirlo realmente. En concreto un autómata es una máquina teórica que lee unas instrucciones en forma de símbolos y cambia de estado según éstas.
  • 5. 5 Una máquina de Turing es un autómata que consta de una cabeza lectora y una cinta infinita en la que la cabeza puede leer símbolos, borrarlos, escribirlos y moverse a la derecha o a la izquierda. Por supuesto también consta de una función de estado que determinará los cambios de un estado a otro que se deben producir en función de las instrucciones que reciba. La Máquina de Turing (MT) es el modelo de autómata con máxima capacidad computacional: la unidad de control puede desplazarse a izquierda o derecha y sobre escribir símbolos en la cinta de entrada. La función de transición. Los argumentos de (q; X ) son un estado q y un símbolo de la cinta X . El valor de (q; X ), si esta es una tupla (p; Y; S ) donde:
  • 6. 6 4.2 Construcción modular de una MT Para describir formalmente lo que hace una máquina de Turing, es necesario desarrollar una notación para describir sus configuraciones o descripciones instantáneas, parecida a la notación que se desarrolla para los autómatas a pila. En principio una máquina de Turing dispone de una cinta de longitud infinita, por lo cual podrá suponerse que no es posible describir espáticamente su configuración. Sin embargo, después de un número finito de movimientos, la máquina de Turing solo habrá recorrido un número finito de casillas. Por tanto, para cualquier configuración existe un prefijo y un sufijo infinito de casillas que no se han recorrido nunca. El contenido de dichas casillas debe Ser espacios en blanco o símbolos del conjunto finito de símbolos de entrada. Por lo tanto, en una configuración solo se muestran las casillas que se encuentren entre el símbolo más a la izquierda y el símbolo más a la derecha de la cinta que no sean espacios en blanco, además, habrá que incluir un número finito de espacios en blanco en la configuración, si se da la condición especial de que la cabeza de la cinta señale a uno de los espacios en blanco situados antes o después de la cadena de entrada. Además de la representación de la cinta, debe ser posible representar el estado de la unidad de control, así como la posición de la cabeza de la cinta. Para ello, insertaremos el estado en la cinta, situándolo inmediatamente a la izquierda de la casilla señalada por la cabeza. Para que la cadena que representa el contenido de la cinta junto con el estado de la unidad de control no resulte ambigua, es necesario asegurarse de que no se utiliza como estado ningún símbolo que forme parte del conjunto de símbolos de cinta. Sin embargo, es sencillo cambiar los nombres de los estados de forma que no tengan nada en común con los símbolos de la cinta, dado que la operación de la máquina de Turing no depende de cómo se llamen sus estados. Por tanto, utilizaremos la cadena para representar una configuración en la que: Los movimientos de una máquina de Turing se describen utilizando la notación
  • 7. 7 4.3 Lenguajes aceptados por la MT. Podremos decir que la forma en la que una máquina de Turing acepta una cadena es la siguiente: la cadena de entrada se sitúa en la cinta y la cabeza comienza señalando el símbolo de entrada que se encuentra más a la izquierda; si la máquina de Turing llega a un estado de aceptación al final del proceso, se considera que la cadena es reconocida, en caso contrario, decimos que la cadena no fue aceptada. De manera formal dada una máquina de Turing el lenguaje L(M) es el conjunto de cadenas de tales que para algún estado p del conjunto de estado finales F, y cualesquiera dos cadenas de cinta α y β. Los lenguajes que son pueden ser aceptados por la máquina de Turing reciben el nombre de lenguajes recursivamente enumérales o lenguajes RE. Sin embargo este no es el único método para la aceptación de una cadena, existe otro que comúnmente se le conoce con el nombre de aceptación por parada. Se dice que una máquina de Turing se para si alcanza un estado q cuando señala a un símbolo de la cinta X, sin que se produzca ningún movimiento en dicha situación; es decir δ(q,X) no está definida. Siempre se puede suponer que una máquina de Turing se para si acepta, es decir sin introducir variaciones en el lenguaje aceptado, se puede hacer que δ(q,X) se quede sin definir siempre que q sea un estado de aceptación. En general a menos que se especifique lo contrario, suponemos que una máquina de Turing siempre se para cuándo está en un estado de aceptación, aunque no en todos los casos ocurre esto. Los lenguajes reconocidos por máquinas de Turing que siempre se paran, acepten o no, se les conoce con el nombre de recursivos. Las máquinas de Turing que siempre se paran con independencia de que acepten o no, son un buen modelo de algoritmo. Si existe un algoritmo para resolver un problema dado, entonces se dice que el problema es decidible, con lo cual se observa que las máquinas de Turing que siempre se paran, tienen un papel importante en la teoría de la dicisibilidad.
  • 8. 8 CONCLUSION Las máquinas de Turing son elementales no solo en la resolución de problemas indefinibles o intratables; ya que estos ayudan a los ingenieros en programación a usarlos como una metodología de análisis y diseño en la resolución de dicho problema, estos pueden ser definido de forma sencilla o tediosa. Estos algoritmos matemáticos ayudan a la resolución de problemas del mundo real, con la diferencia que estos tienden a hacer tratados más detalladamente, unos que otros. Las máquinas de Turing han venido a facilitar y ayudar al programador como al ser humano en las tomas de decisiones en cuanto a problemas de la vida cotidiana. Ya que en casos particulares se tiende a llegar al desbordamiento de ideas en cuanto al análisis y diseño de respuestas a un suceso en particular de la vida diaria, además de ello las máquinas de Turing ayudan en la estandarización de las máquinas electrónicas para poder entrar de un estado a otro; es decir, que estas pueden llegar a pensar que decisión tomar, cuando estén sometidas o se encuentren en una situación dada en un contexto en especial. El estudio de estas algebras matemáticas, al pasar los años ayudaran en la creación de muchos elementos electrónicos, que facilitaran la vida de la especie humana en la adaptación de los cambios informáticos. Los cuales fortalecerán el crecimiento de muchos continentes al desarrollo del nuevo mundo. Las herramientas de soluciones de problemas y respuestas en cuanto a su solución podemos utilizar los grafos y tablas de transiciones de las Máquinas de Turing para conocer el tiempo de ejecución y el tiempo en que se puede tardar para encontrar la posiblesolución. En conclusión se detalla en pocas palabras, que las máquinas de Turing son herramientas muy sencillas y a la vez efectivas, como metodologías para las soluciones de problemas; interpretadas de forma matemática u Grafórica (grafo), que ayudan al personaje a la interpretación de los resultados, son ambiguos, sencillos, factibles yóptimos.
  • 9. 9 REFERENCIAS  JOHN E. HOPCROFT, RAJEEV MOTWANI, JEFFREY D. ULLMAN. (2008). Introducción a la teoría de autómatas lenguajes y computación. Madrid, España:PEARSON EDUCACIÓN S.A  Manuel Alfonseca Moreno, Justo Sancho Rodríguez, Miguel Martínez Orga. (1987). Teoría de lenguajes, gramáticas y automátas. Madrid, España: Madrid : Universidad y Cultura, D.L. 1987.  José Del Carmen Méndez Candelaria. (2015). Autómatas Finitos. 2016, de documents.mx Sitio web: http://documents.mx/documents/unidad-iii-y-iv- lenguajes-y-automatas-i.html