13/11/2013

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18

Analizando la cadena zazabzbz

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18

13/11/2013

Anlisis completo de la cadena zazabzbz que efecta el autmata de pila generado a partir del teorema 2 y de la GIC:
Contenido de la pila # S# zMNz# MNz# aMaNz# MaNz# zaNz# aNz# Nz# bNbz# Nbz# Resto de la entrada zazabzbz zazabzbz zazabzbz zazabzbz azabzbz azabzbz zabzbz zabzbz abzbz bzbz bzbz zbz Transicin Ejecutada (i,,;p,#) (p,,;q,S) (q,,S;q,zMNz) (q,z,z;q,) (q,,M;q,aMa) (q,a,a;q,) (q,,M;q,z) (q,z,z;q,) (q,a,a;q,) (q,,N;q,bNb) (q,b,b;q,) (q,,N;q,z)

zbz#
bz# z# #
LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

zbz
bz z

(q,z,z;q,)
(q,b,b;q,) (q,z,z;q,) (q,,#;f,)

13/11/2013 22:18

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18

13/11/2013

Es un modelo computacional que realiza una lectura/escritura de manera automtica sobre una entrada llamada cinta, generando una salida en esta misma. 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.

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18

Su funcionamiento se basa en una funcin de transicin, que recibe un estado inicial y una cadena de caracteres (la cinta, la cual es finita por la izquierda) pertenecientes al alfabeto de entrada. Luego va leyendo una celda de la cinta , borrando el smbolo , escribir 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.

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18

13/11/2013

Al igual que cualquier autmata, una MT posee un estado inicial, uno o varios estados intermedios y un nico estado de parada, y a diferencia de los otros autmatas, cuando se alcanza el estado de parada la mquina termina su trabajo o clculos que estuviera realizando. En base a lo anterior, el estado inicial de una MT no puede ser al mismo tiempo un estado de parada por lo que se dice que la mquina tiene que tener por lo menos dos estados.

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18

Una MT puede leer y escribir smbolos en su medio de entrada, es decir, en su cinta de entrada a travs de su cabeza lectura/escritura. La MT puede emplear su cinta como medio de almacenamiento auxiliar de la misma manera como lo hace un autmata de pila, aunque una MT no se limita a las operaciones de insercin y extraccin, sino que puede rastrear los datos de la cinta y modificar las celdas que se desee sin alterar las dems.

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18

13/11/2013

LENGUAJES FORMALES Y AUTOMATAS - Antigua 2013

13/11/2013 22:18