ESCUELA SUPERIOR POLITCNICA AGROPECUARIA DE MANAB

MANUEL FLIX LPEZ

CARRERA COMPUTACIN

SEMESTRE SEXTO PERODO ABRIL SEP /2017

TRABAJO DE INVESTIGACIN

TEMA:
GRAMTICAS DE ESTRUCTURAS DE FRASE Y MQUINA DE
TURING

AUTORES:
YASMINA L. ZAMBRANO LOOR
LEYDI T. ZAMBRANO MENDOZA
CRISTHIAN A. ZAMBRANO ZAMBRANO

FACILITADOR:
ING. ORLANDO AYALA PULLAS

CALCETA, AGOSTO 2017

 I. INTRODUCCIN
El presente trabajo de investigacin hace nfasis a las gramticas de frase estas
se caracterizan por que en la parte izquierda tiene que haber al menos un
smbolo no terminal, respecto a sus partes derechas de producciones no hay
ningn tipo de restriccin, una gramtica define la estructura de frases y de las
palabras de un lenguaje.

Otro de los temas a abordar en el desarrollo de la investigacin es sobre la

mquina de Turing esta no es ms que un modelo matemtico que consiste en
una cinta de longitud infinita dividida en clulas en las que se da de entrada. Se
compone de una cabeza que lee la cinta de entrada. Un registro de estado
almacena el estado de la mquina de Turing. El modelo de la mquina de Turing
est conformado por un alfabeto de entrada y uno de salida, un smbolo especia
llamado blanco, un conjunto de estados finitos y un conjunto de transiciones
entre dichos estados
 II. MARCO TERICO
2.1. GRAMTICAS DE ESTRUCTURAS DE FRASES
La estructura de Frase (PS) es el nivel de representacin de las oraciones
gramaticales de una lengua. Cada oracin es representada por un conjunto de
cadenas, que son representadas en un diagrama de la descripcin estructural de
una oracin. Para poder producir oraciones gramaticales, hay que agregarles
reglas o restricciones a las gramticas, de modo tal que se puedan producir
oraciones gramaticales reescribiendo con el mismo criterio todos los
componentes (Miceli, 2014).

Segn Moreno (2016) una gramtica define la estructura de las frases y de las
palabras de un lenguaje, son un mtodo para la generacin de palabras de un
lenguaje a partir de un alfabeto. Para generar estas palabras se utilizan las
derivaciones y se denominan formales ya que se centran en los estudios de los
lenguajes formales los cuales son aquellos que estn definidos a partir de reglas
preestablecidas.

Se caracterizan por:

En la parte izquierda tiene que haber al menos un smbolo no terminal.

Respecto a sus partes derechas de producciones no hay ningn tipo de
restriccin.

2.2. MODELO DE MAQUINA DE TURING

Es un dispositivo de reconocimientos de lenguaje, tiene, un control finito, una
cabeza lectora y una cinta donde puede haber caracteres, y donde
eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia
la derecha y finita hacia la izquierda, la cabeza lectora es de lectura y escritura,
por lo que la cinta puede ser modificada en curso de ejecucin (Daz, 2014).
Una mquina de Turing es una sptupla M= (, , , Q, q0, f, F) donde:
1. es el alfabeto de smbolos de la cinta
2. es el alfabeto de smbolos de entrada
3. es el smbolo blanco que no pertenece a
 4. Q es un conjunto finito de estados
5. q0 Q es el estado inicial
6. F Q es el conjunto de estados finales
7. f es una funcin de transicin parcial

2.2.1. FUNCIONAMIENTO

Este modelo est conformado por un alfabeto de entrada y uno de salida, un

smbolo especial llamado blanco (normalmente b, o 0), un conjunto de estados
finitos y un conjunto de transiciones entre dichos estados. Su funcionamiento se
basa en una funcin de transicin, que recibe un estado inicial y una cadena de
caracteres pertenecientes al alfabeto de entrada. Luego va leyendo una celda de
la cinta, borrando el smbolo, escribiendo el nuevo smbolo perteneciente al
alfabeto de salida y finalmente avanza a la izquierda o a la derecha (solo una
celda a la vez), repitiendo esto segn se indique en la funcin de transicin, para
finalmente detenerse en un estado final o de aceptacin, representando as la
salida.

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. 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. Mediante este modelo terico y el
anlisis de complejidad de algoritmos es posible realizar cualquier computo que
un computador digital sea capaz de realizar (Daz, 2014).
2.3. MQUINA DE TURING UNIVERSAL(UTM)
Es una mquina de Turing que es capaz de simular cualquier mquina de Turing
sobre cualquier cadena de entrada. Para simular una mquina de Turing (TM)
sobre una cierta entrada (w) se considera que el contenido inicial de la cinta ser
un smbolo , seguido de la codificacin cannica de TM y a continuacin la
cadena w (Moreno, 2016).

Figura 2.1. Simulacin mquina de Turing Universal

2.3.1. FUNCIONAMIENTO

Segn Moreno (2016) el funcionamiento de la UTM es el siguiente:

1. Para indicar la posicin del cabezal de la mquina simulada se utiliza una
marca sobre el smbolo correspondiente de w.
2. Para indicar el estado en que se encuentra la mquina simulada se utiliza
una marca sobre el smbolo [ de comienzo de sus transiciones.
3. En cada paso de simulacin de la mquina TM hay que identificar el smbolo
sobre el que se encuentra el cabezal (haciendo un recorrido buscando 0, 1 o
).
4. A continuacin, hay que desplazarse hacia la izquierda buscando el smbolo
[ de comienzo del estado actual de TM.
5. Una vez seleccionado el comienzo del estado, se busca la transicin
correspondiente al smbolo del cabezal (primer < si es 0, segundo < si es 1
o tercer < si es ) y se marca < .
6. Para ejecutar la transicin se lee la accin asociada (0,1, , R, L) y se
desplaza a la derecha buscando el cabezal de TM para ejecutar la accin:
escribir 0, escribir 1, escribir , desmarcar el smbolo y marcar el de la
derecha o desmarcar el smbolo y marcar el de la izquierda.
7. El siguiente paso es colocar TM en el estado resultado de la transicin. Para
ello hay que desplazarse a la izquierda buscando el smbolo <, desmarcarlo
y desplazarse tres celdas a la derecha buscando el smbolo siguiente de #.
8. Si el siguiente de # es el smbolo > entonces se trata de una transicin al
estado de parada de TM, por lo que hay que saltar al estado de parada de
UTM.
9. Si el siguiente de # es el smbolo 1 se trata del comienzo de un estado. Hay
que marcar 1, desplazarse al comienzo de la representacin cannica,
marcar el [ y volver al smbolo 1, desmarcarlo y desplazarse a la derecha.
10. Cada vez que nos encontremos un 1 hay que marcarlo, desplazarse a la
izquierda buscando [, desmarcarlo, desplazarse a la derecha buscando [,
marcarlo, desplazarse a la derecha buscando 1, desmarcarlo y desplazarse
una celda a la derecha.
11. Cuando encontremos el smbolo > habremos dejado marcado con [ el
comienzo del estado actual de TM y podremos desplazarnos a la derecha
buscando el smbolo marcado que indica la posicin del cabezal de TM,
volviendo al punto 3 de este algoritmo.

2.4. VARIACIONES DE LA MQUINA DE TURING

Una mquina de Turing puede hacer cualquier cosa que pueda hacer una
computadora real y aun cuando una MT no puede resolver ciertos problemas,
estos problemas estn ms all de los lmites tericos de la computacin; es un
autmata que se mueve sobre una secuencia lineal de datos. En cada instante
la mquina puede leer un solo dato de la secuencia (generalmente un carcter)
y realiza ciertas acciones en base a una tabla que tiene en cuenta su "estado"
actual (interno) y el ltimo dato ledo. Entre las acciones est la posibilidad de
escribir nuevos datos en la secuencia; recorrer la secuencia en ambos sentidos
y cambiar de "estado" dentro de un conjunto finito de estados posibles. La MT
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 para la derecha.

Avanzar el cabezal lector/escritor para la izquierda.

Una mquina de Turing es una tupla de 7 elementos (Q, , , , qo, qa(aceptar),

qr (rechazar)), donde: Q, , son conjuntos finitos.

1. Q es el conjunto de estados

2. es el alfabeto de entrada

3. es el alfabeto de la cinta

4. : Q x Q x x {L, R}

5. qo Q es el estado inicial

6. qa Q es el estado de aceptacin

7. qr Q es el estado de rechazo, donde qa qr.

Existen muchas alternativas de la mquina de Turing, incluyendo cintas mltiples

o indeterminismo. Estas son llamadas variantes del modelo de la mquina de
Turing. Tanto el modelo original como sus variantes tienen el mismo poder, es
decir, reconocen la misma clase de lenguajes (Sangols, 2010).

2.4.1. TIPOS DE VARIANTES DE UNA MQUINA DE TURING

2.4.1.1. MQUINA DE TURING INDETERMINISTA

Segn Sangols (2010) una mquina de Turing indeterminista se define de la

forma esperada. En cada punto en una computacin la mquina puede proceder
de acuerdo a varias posibilidades. La funcin de transicin para una mquina de
Turing indeterminista tiene la forma:
2.4.1.2. MQUINA DE TURING CON CINTA MUTIPISTA

Es aquella que mediante la cual cada celda de la cinta de una mquina sencilla
se divide en subceldas. Cada subcelda es capaz de contener smbolos de la
cinta. La cinta tiene cada celda subdividida en tres subceldas; se dice que esta
cinta tiene mltiples pistas puesto que cada celda de esta MT contiene mltiples
caracteres, el contenido de las celdas de la cinta puede ser representado
mediante n-tuplas ordenadas. Los movimientos que realicen estas mquinas
depender de su estado actual y de la n-tupla que represente el contenido de la
celda actual, se podra decir que posee un solo cabezal al igual que una MT
sencilla. En el modelo multi-pista, la cinta est dividida en un nmero finito k de
pistas (Sangols, 2010).

La funcin de transicin adquiere la siguiente forma:

2.4.1.3. MQUINA DE TURING MULTI-CINTA

Segn Sangols (2010) consiste de un control finito con k cabezas de cinta y k

cintas; cada cinta es infinita en ambas direcciones. En un solo movimiento,
dependiendo del estado del control finito y de los smbolos explorados por cada
cabeza de cinta, la mquina puede:

1) Cambiar de estado;
2) Imprimir un nuevo smbolo en cada una de las celdas exploradas por las
cabezas de las cintas;
3) Mover cada una de las cabezas de cinta, independientemente, una celda
4) hacia la izquierda o derecha, o mantenerlas quietas.
Inicialmente, la entrada aparece en la primera cinta, y las otras cintas estn en
blanco.

Figura 2.2. Mquina de Turing Multi-Cinta

2.4.1.4. MQUINA DE TURING MULTIDIMENSIONAL

Otra modificacin que se puede hacer en nuestra mquina de Turing original es

permitir que la cinta tenga muchas dimensiones. Por ejemplo, una cinta de dos
dimensiones que se extienda hacia abajo y hacia arriba, al igual que hacia la
derecha y hacia la izquierda. Dependiendo del estado actual de la mquina de
Turing y del smbolo analizado, cambia de estado, escribe un smbolo en la celda
actual y se mueve a la izquierda, a la derecha, hacia arriba o hacia abajo
(Sangols, 2010).

La funcin de transicin para esta mquina de Turing ser de la forma:

Figura 2.4. Mquina de Turing Multidimensional

 CONCLUSIN
En esta investigacin se concluye que las Gramticas de estructura de frase y
mquina de Turing es un dispositivo de reconocimientos de lenguaje, es ms
general que cualquier autmata finito o cualquier autmata de pila, debido a que
reconocen tanto los lenguajes regulares, como los lenguajes independientes de
contexto y muchos otros tipos de lenguajes.

La mquina de Turing (abreviado MT) tiene, un control finito, una cabeza lectora
y una cinta donde puede haber caracteres, y donde eventualmente viene la
palabra de entrada. Este modelo est conformado por un alfabeto de entrada y
uno de salida, un smbolo especial llamado blanco (normalmente b, o 0), un
conjunto de estados finitos y un conjunto de transiciones entre dichos estados.

Estas gramticas de estructura de frase Se caracterizan por que en la parte

izquierda tiene al menos un smbolo no terminal y en la parte derecha denomina
producciones no hay ningn tipo de restriccin.

La mquina universal de Turing (UTM) es una mquina que puede simular una
mquina de Turing arbitraria en la entrada arbitraria. Hay otras definiciones de
las mquinas de Turing que son equivalentes, algunos de esos modelos
alternativos son mucho ms complicados, pero todos estos tienen la misma
potencia y capacidad computacional (o de clculo). Algunas de ellas denotan de
mayor flexibilidad al diseo de una mquina de Turing que resuelva un problema
en particular.
 BIBLIOGRAFA
Daz, L. 2014. Mquinas de Turing. En Lnea). Consultado el 06 de agosto del
2017. Formato PDF. Disponible en:
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo13.p
df

Miceli, J. 2014. Noam Chomsky y la gramtica generativa transformacional. (En

Lnea). Consultado el 06 de agosto del 2017. Formato HTML. Disponible
en: https://es.slideshare.net/giorgiom/2-chomsky-y-la-gramatica-
generativa?from_action=save

Moreno, F. 2016. Fundamentos de la teora de gramticas formales. (En Lnea).

Consultado el 06 de agosto del 2017. Formato PDF. Disponible en:
http://www.uhu.es/francisco.moreno/talf/docs/tema3.pdf

Sangols, F. 2010. Mquinas de Turing. Modificaciones de la mquina de Turing.

(En Lnea). Consultado el 06 de agosto del 2017. Formato PDF.
Disponible en: http://acme.math.cinvestav.mx/~basico/apache/siete1.pdf