Você está na página 1de 4

INTRODUCCION

considerar las mquinas abstractas que permiten solucionar ciertos tipos de algoritmos, los algoritmos en los que no puede recordarse ms que una cantidad fija de informacin y otros en los que la informacin desarrollada durante la ejecucin del algoritmo puede recuperarse solo en concordancia con la regla lifo ltimos en entrar primeros en salir, en esta unidad se describe una maquina abstracta, llamada Mquina de Turing , que es aceptada de manera amplia como modelo general de computacin, aunque las operaciones bsicas de esta mquina son comparables en su sencillez a las de las mquinas estudiadas en las unidades anteriores, las nuevas maquinas pueden realizar una amplia variedad de operaciones de cmputo. Adems de aceptar lenguajes les es posible computar funciones y de conformidad con la tesis de Church-Turing, ejecutar casi cualquier procedimiento algortmico concebible.

OBJETIVO GENERAL Reconocer la importancia y el poder computacional de las Mquinas de Turing en el contexto de la solucin de problemas computacionales de reconocimiento de Lenguajes. OBJETIVOS ESPECFICOS: Estudiar las Mquinas de Turing y sus propiedades bsicas

Mquina que acepta el lenguaje de palabras sobre {0, 1} que comienzan y acaban con el mismo smbolo. Disela en un Diagrama de Moore

Recorra la mquina con al menos una cadena vlida.

Identifique una cadena que no sea vlida y justifquela porque.

Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen para el trabajo)

Identifique en que momento la mquina se detiene

Você também pode gostar