INSTITUTO TECONOLGICO SUPERIOR DE CALKINI EN EL ESTADO DE

CAMPECHE.

CARRERA: MECATRNICA.

GRADO Y GRUPO: 6TO SEMESTRE A.

MATERIA: MTG-1023 PROGRAMACION AVANZADA.

TRABAJO: MQUINAS DE TURING Y REDES DE PETRI

NOMBRE DEL MAESTRO(A): CARLOS ANTONIO TURRIZA NAAL.

NOMBRE DEL ALUMNO: MANUEL HUMBERTO CHIQUINI GONZALEZ.

CALKINI, CAMPECHE A 1 DE JULIO DEL 2017.

INTRODUCCIN

El ITESCAM es una institucin comprometida al desarrollo intelectual y emocional

de sus alumnos, es por eso que su modelo educativo est enfocado en el
aprendizaje donde una de las estrategias es fomentar el trabajo de investigacin
documental, en el cual el alumno refuerza lo aprendido en el aula de clases y as
mismo desarrolla la habilidad de bsqueda y uso de las tecnologas de la
investigacin y la comunicacin.

Este trabajo de investigacin es producto del desarrollo de las actividades del tercer
parcial de la materia MTG-1023 PROGRAMACION AVANZADA, el cual contiene
los temas siguientes: MQUINAS DE TURING Y REDES DE PETRI.

Alan Turing introdujo el concepto de mquina de Turing en el trabajo On computable

numbers, with an application to the Entscheidungsproblem, publicado por la
Sociedad Matemtica de Londres en 1936, en el que se estudiaba la cuestin
planteada por David Hilbert sobre si las matemticas son decidibles, es decir, si hay
un mtodo definido que pueda aplicarse a cualquier sentencia matemtica y que
nos diga si esa sentencia es cierta o no.

Turing ide un modelo formal de computador, la mquina de Turing, y demostr que

existan problemas que una mquina no poda resolver.

Con este aparato extremadamente sencillo es posible realizar cualquier cmputo

que un computador digital sea capaz de realizar.

Mediante este modelo terico y el anlisis de la complejidad de los algoritmos, fue

posible la categorizacin de problemas computacionales de acuerdo a su
comportamiento, apareciendo as, el conjunto de problemas denominados P y NP,
cuyas soluciones pueden encontrarse en tiempo polinmico por mquinas de Turing
deterministas y no deterministas, respectivamente.

Precisamente, la tesis de Church-Turing formulada por Alan Turing y Alonzo Church,

de forma independiente a mediados del siglo XX caracteriza la nocin informal de
computabilidad con la computacin mediante una mquina de Turing.
La idea subyacente es el concepto de que una mquina de Turing puede verse
como un autmata ejecutando un procedimiento efectivo definido formalmente,
donde el espacio de memoria de trabajo es ilimitado, pero en un momento
determinado slo una parte finita es accesible.

Una Red de Petri es una representacin matemtica o grfica de un sistema a

eventos discretos en el cual se puede describir la topologa de un sistema
distribuido, paralelo o concurrente. La red de Petri esencial fue definida en la dcada
de los aos 1960 por Carl Adam Petri. Son una generalizacin de la teora de
autmatas que permite expresar un sistema a eventos concurrentes.

Una red de Petri est formada por lugares, transiciones, arcos dirigidos y marcas o
fichas que ocupan posiciones dentro de los lugares. Las reglas son: Los arcos
conectan un lugar a una transicin, as como una transicin a un lugar. No puede
haber arcos entre lugares ni entre transiciones. Los lugares contienen un nmero
finito o infinito contable de marcas. Las transiciones se disparan, es decir consumen
marcas de una posicin de inicio y producen marcas en una posicin de llegada.
Una transicin est habilitada si tiene marcas en todas sus posiciones de entrada.
Contenido

INTRODUCCIN ................................................................................................................................... 2

DESARROLLO ....................................................................................................................................... 5

CONCLUSIONES ................................................................................................................................. 11

REFERENCIAS ..................................................................................................................................... 12
DESARROLLO

MQUINAS DE TURING.

Una mquina de Turing es un dispositivo que transforma un INPUT en un

OUTPUT despus de algunos pasos. Tanto el INPUT como el OUPUT constan
de nmeros en cdigo binario (ceros y unos). En su versin original la mquina
de Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a
travs de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un
bit (0 1) est en su interior. La mquina tiene una serie de estados internos
finitos que tambin se pueden numerar en binario. Para llevar a cabo algn
algoritmo, la mquina se inicializa en algn estado interno arbitrario. A
continuacin, se pone en marcha y la mquina lee el bit que se encuentra en
ese momento en su interior y ejecuta alguna operacin con ese bit (lo cambia o
no, dependiendo de su estado interno). Despus se mueve hacia la derecha o
hacia la izquierda, y vuelve a procesar el siguiente bit de la misma manera. Al
final se para, dejando el resultado al lado izquierdo, por ejemplo.

DEFINICION:

Una mquina de Turing con una sola cinta puede ser definida como una 7-
tupla M={Q,,,s,b,F,}, donde:

Q es un conjunto finito de estados.

es un conjunto finito de smbolos distinto del espacio en blanco,

denominado alfabeto de mquina o, de entrada.

es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta.

s Q es el estado inicial.

b es un smbolo denominado blanco, y es el nico smbolo que se puede

repetir un nmero infinito de veces.

FQ es el conjunto de estados finales de aceptacin.

:Q x Q x x{L,R} es una funcin parcial denominada funcin de

transicin, donde L es un movimiento a la izquierda y R es el movimiento a la
derecha.

Existen en la literatura un abundante nmero de definiciones alternativas, pero

todas ellas tienen el mismo poder computacional, por ejemplo, se puede aadir
el smbolo S como smbolo de "no movimiento" en un paso de cmputo.

Una mquina de Turing es un dispositivo que transforma un INPUT en un

OUTPUT despus de algunos pasos. Tanto el INPUT como el OUPUT constan
de nmeros en cdigo binario (ceros y unos). En su versin original la mquina
de Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a
travs de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un
bit (0 1) est en su interior. La mquina tiene una serie de estados internos
finitos que tambin se pueden numerar en binario.

Para llevar a cabo algn algoritmo, la mquina se inicializa en algn estado

interno arbitrario. A continuacin, se pone en marcha y la mquina lee el bit que
se encuentra en ese momento en su interior y ejecuta alguna operacin con ese
bit (lo cambia o no, dependiendo de su estado interno). Despus se mueve hacia
la derecha o hacia la izquierda, y vuelve a procesar el siguiente bit de la misma
manera. Al final se para, dejando el resultado al lado izquierdo, por ejemplo.

Una instruccin tpica podra ser: 01 11011i

La traduccin es como sigue: si la mquina se encuentra en el estado interno 0

y lee 1 en la cinta, entonces pasar al estado interno 1101 (13), escribir 1 y se
mover hacia la izquierda un paso (la cinta se mover hacia la derecha).

A continuacin, es conveniente inventar una notacin para la secuencia del

INPUT. Esta notacin se llama notacin binaria expandida. Consiste en cambiar
la secuencia original binaria por otra construida de la siguiente forma: el 0 se
cambia por 0 y el 1 por 10 y se ponen un cero a la izquierda y/o a la derecha del
resultado si empieza o acaba en 1 respectivamente. As, por ejemplo, el nmero
13 que en binario es 1101 es en binario expandido 1010010 con un cero delante
por esta ltima regla 01010010. Para volver al original hay que contraer el binario
expandido con la siguiente regla:
Empezamos a leer por la izquierda el binario expandido. Cuando encontremos
un 0 tomamos nota de cuntos 1 hay hasta llegar al siguiente 0 y lo escribimos.
Si encontramos que hay dos 0 seguidos, apuntaramos un 0 porque no habra
ningn 1. Veamos con el 13 cmo se hara. El primer 0 se encuentra en la
primera posicin y el siguiente 0 est en la posicin 3. Entre los dos solo hay un
1. Lo anotamos. Seguidamente hay un 1, y despus un 0, entonces apuntamos
1 porque hay un 1 entre medias de ellos. Esto es lo que se hace sucesivamente
y encontramos: 1101 que es el nmero original.

La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en

la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo
valor. Las operaciones que se pueden realizar en esta mquina se limitan a:

avanzar el cabezal lector/escritor hacia la derecha.

Visualizacin de una mquina de Turing en la que se ve el cabezal y la cinta que

se lee

avanzar el cabezal lector/escritor hacia la izquierda.

El cmputo es determinado a partir de una tabla de estados de la forma: (estado,

valor) (nuevo estado, nuevo valor, direccin)

Esta tabla toma como parmetros el estado actual de la mquina y el carcter

ledo de la cinta, dando la direccin para mover el cabezal, el nuevo estado de
la mquina y el valor a ser escrito en la cinta.

La memoria ser la cinta la cual se divide en espacios de trabajo denominados

celdas, donde se pueden escribir y leer smbolos. Inicialmente todas las celdas
 contienen un smbolo especial denominado blanco. Las instrucciones que
determinan el funcionamiento de la mquina tienen la forma, si estamos en el
estado x leyendo la posicin y, donde hay escrito el smbolo z, entonces este
smbolo debe ser reemplazado por este otro smbolo, y pasar a leer la celda
siguiente, bien a la izquierda o bien a la derecha. La mquina de Turing puede
considerarse como un autmata capaz de reconocer lenguajes formales. En ese
sentido es capaz de reconocer los lenguajes recursivamente enumerables, de
acuerdo a la jerarqua de Chomsky. Su potencia es, por tanto, superior a otros
tipos de autmatas, como el autmata finito, o el autmata con pila, o igual a
otros modelos con la misma potencia computacional.

REDES DE PETRI.

Las redes de Petri (RdP) (C.A. Petri, 1962) son una herramienta de modelado muy
efectiva para la representacin y el anlisis de procesos concurrentes.

Modelar un sistema usando redes de Petri tienen tres ventajas potenciales:

1) El sistema completo es a menudo ms fcil de entender debido a la naturaleza

grfica y precisa del esquema de representacin.

2) El comportamiento del sistema puede ser analizado utilizando la teora de las

redes de Petri, que incluye herramientas para el anlisis tales como los rboles de
marcados y establece relaciones entre ciertas estructuras de redes y el
comportamiento dinmico. Pueden aplicarse tambin tcnicas para la verificacin
de programas paralelos.

3) Puesto que las redes de Petri pueden sintetizarse usando tcnicas "bottom-up" y
"top-down", es posible disear automticamente sistemas cuyo comportamiento es
conocido o fcilmente verificable.

Su xito se debe bsicamente a la simplicidad de su mecanismo bsico, si bien, la

representacin de grandes sistemas es costosa.

Para facilitar su uso en diferentes campos de aplicacin, el modelo original se ha

extendido en dos aspectos:
1) Introduccin de modificaciones estructurales para incrementar la potencia o la
comodidad de modelado o para facilitar la solucin de los problemas de anlisis

2) Definicin de redes de Petri temporizadas que se pueden utilizar para analizar

cuantitativamente las prestaciones del sistema modelado.

Las redes de Petri son un grafo orientado formado por:

Plazas o lugares, representadas mediante circunferencias representadas

mediante circunferencias.
Transiciones, representadas por segmentos rectilneos.
Arcos dirigidos que unen transiciones y plazas.

Una plaza p es entrada de una transicin t si existe un arco desde p a t arco

desde p a t.
Una plaza p es salida de una transicin t si existe un arco desde t a p.

MARCADO

Una plaza puede contener un nmero positivo o nulo de testigos o marcas,

que se representan por un punto en el interior del crculo que representa una
plaza.
El marcado de una red de Petri es el conjunto de testigos asociados con cada
una de las plazas en un instante dado. Define el estado de la red de Petri.

PROGRAMACION CONCURRENTE

Transiciones: representan los procesos del programa.

Plazas: representan las condiciones necesarias para que un proceso se ejecute.

 Arcos dirigidos: relacionan condiciones y procesos.

Testigos: si estn presentes en una plaza, indican que se verifica la condicin que
representa esa plaza.

DISPARO

Una transicin est sensibilizada o habilitada si todas las plazas de entrada si todas
las plazas de entrada estn marcadas.

Una transicin habilitada se puede disparar.

El disparo de una transicin habilitada consiste en quitar un testigo de cada plaza

de entrada y aadir un testigo a cada una de las plazas de salida.

EJEMPLOS DE DISPARO:
CONCLUSIONES
La aparicin de estas mquinas marcaron el curso de las nuevas tecnologas ya
que la lgica combinacional y otros conocimientos lgicos aplicadas hicieron que se
logren grandes avances como ahora denominamos la primera computadora
realizada por Turn, una mquina de Turing se puede considerar como una cinta
infinita dividida en casillas, cada una de las cuales contiene un smbolo, y sobre la
cual acta un dispositivo que puede adoptar diversos estados, y que lee un smbolo
de la casilla sobre la que est situado. En funcin de dicho smbolo y del estado
actual, se pueden realizar tres acciones siguientes: pasa a un nuevo estado,
imprime un smbolo en lugar del que acaba de leer y se desplaza a una posicin
hacia la izquierda, derecha, o se detiene.

Con las redes de Petri podemos ver un fcil modelado de sistemas, los cuales
podemos aplicar en el control y en procesos gracias al fcil manejo que se tiene de
estas redes.
REFERENCIAS

Agudelo, J. C., & Sicard, A. (2011). Mquinas de Turing paraconsistentes: una

posible definicin.
Konzen da Silva, A. (2010). Mquina de Turing.
Maldonado, Y., & da Costa, G. Mquina de Turing.
Brassard, G., & Bratley, P. (1996). Fundamentals of algorithmics (Vol. 33).
Englewood Cliffs: Prentice Hall.
Murillo-Soto, L. D. (2008). Redes de Petri: Modelado e implementacin de
algoritmos para autmatas programables. Revista Tecnologa en Marcha, 21(4),
102.
Zapata, G., & Carrasco, E. L. I. A. N. A. (2002). Estructuras generalizadas para
controladores lgicos modeladas mediante redes de Petri. Revista Dyn, 135, 65-74.
Silva, M., & Recalde, L. (2007). Redes de Petri continuas: Expresividad, anlisis y
control de una clase de sistemas lineales conmutados. Revista Iberoamericana de
Automtica e Informtica Industrial RIAI, 4(3), 5-33.