Autmatas y Lenguajes Formales

Fase 2

Mara Daniela Gonzlez Garca

Codigo:1104709043
Grupo:301405_93

UNIVERSIDAD NACIONAL ABIERTA Y A DISTACIA

UNAD
LIBANO TOLIMA
2017
 AUTOMATA A PILA

Un autmata a pila es un dispositivo que tiene acceso a:

Una secuencia de smbolos de entrada, que en general se
representa por una cinta que se desplaza frente a un
mecanismo de captacin de dichos smbolos.

El smbolo superior de una memoria en pila (LIFO)

Un autmata a pila se encuentra en cada momento en un estado
determinado y el estado siguiente depende de los tres elementos
siguientes:

estado actual
smbolo de entrada
smbolo superior de la pila
Generalmente, el autmata a pila es no determinista en el
sentido de que se permite que haya varias acciones posibles en
cada momento.
 Caractersticas
Un AP puede realizar dos tipos de operaciones elementales:

1.Dependientes de la entrada.
Se lee la cinta y se avanza la cabeza lectora,
En funcin:
del estado actual (qi)
del smbolo ledo en la cinta (a)
del smbolo en la cima de la pila (Z)
Se pasa a un nuevo estado, se elimina el elemento Z de la cima de la pila y se introduce en su lugar una cadena de smbolos.
2.Independientes de la entrada.
Las mismas operaciones que en el caso anterior, slo que no se lee la cinta, ni se avanza la cabeza lectora. Se maneja la pila sin la informacin de entrada.

Propiedades:
Un autmata a pila es una sptupla:
AP= (, , Q, A0, q0, f, F)
donde :
1. es el alfabeto de entrada
2. es el alfabeto de la pila
3. Q es un conjunto finito de estados
4. A0 es el smbolo inicial de la pila
5. q0 Q el estado inicial del autmata
6. F Q es el subconjunto de estados finales
7. f es una aplicacin denominada funcin de transicin
de ternas (estado, smbolo de entrada o , smbolo de
pila) en el conjunto de las partes Q*
f : Q{{}} 2 Q* (subconjunto finito)
 Autmata a pila por vaciado y Autmata a pila por estados finales

los autmatas con pila sirven para reconocer lenguajes incontextuales.

Un autmata con pila (AP) puede recordar cantidad de informacin sin lmite pero no puede acceder a ella en cualquier orden.

Lenguaje aceptado por un autmata con pila

Hay dos tipos de lenguaje aceptado por un Autmata con pila (AP):

1.Aceptacion por estados finales

 .

2. Aceptacin de pila por vaco

Observaciones
Al reconocer por pila vaca, la pila se queda vaca del todo, sin

. Antes de Antes de disear un AP, hay que decir si queremos que acepte por estado final o por pila vaca, pues el AP deber ser distinto.
 Ejemplo
, con AP por pila vaca
 Aceptacin por estado final es "equivalente" a aceptacin por pila vaca

Th Si existe un AP que reconoce un lenguaje por estado final, entonces existe otro AP ' que reconoce el mismo lenguaje por pila vaca:

En general,
En general,

Th Si existe un AP que reconoce un lenguaje por pila vaca, entonces existe otro AP que reconoce el mismo lenguaje por estado final:
 GRAMATICA
Descripcin formalizada de las oraciones de un lenguaje. Una gramtica genera o describe un lenguaje.

Una gramtica ("G") desde el punto de vista de la teora de autmatas es un conjunto finito de reglas que describen
toda la secuencia de smbolos pertenecientes a un lenguaje especfico L. Dos gramticas que describan el mismo
lenguaje se llaman gramticas equivalentes.

CARACTERIZTICAS

Una gramtica estructura algebraica formada por cuatro elementos fundamentales: una gramtica es una
cudrupla:

G = { NT, T, S, P }
donde
NT es el conjunto de elementos No Terminales
T es el conjunto de elementos Terminales
S es el Smbolo inicial de la gramtica
P es el conjunto de Reglas de Produccin
Clasificacin de las gramticas segn Padilla

Segn Padilla las gramticas se clasifican de acuerdo a las reglas de sustitucin y nunca se pasa autmatas 2

Tipo 0 o "No restringida o recursivamente enumerables

x puede ser sustituido por y si x est, ya sea, en los smbolos No Terminales o los smbolos Terminales, sin incluir
la cadena vaca e y est en los smbolos No Terminales o Terminales, incluyendo la cadena vaca.

Los lenguajes generados por este tipo de gramticas se llaman "lenguajes sin restricciones"

Nota: "+" significa "sin incluir la cadena vaca" y "*" significa "incluyendo la cadena vaca". "/" significa "o"

Estos lenguajes tambin son denominados "recursivamente enumerables"

Tipo 1 o "Sensible al contexto

puede ser reemplazado por si la longitud de es menor o igual a la longitud de , siendo un

smbolo Terminal o una cadena vaca z1, seguido de un smbolo No Terminal X, seguido de otro
smbolo Terminal o una cadena vaca z2. En el caso de , z1 debe ser el mismo smbolo z1 de seguido de un
smbolo No Terminal o Terminal sin ser la cadena vaca, seguido del smbolo z2.

Las mquinas que los aceptan son autmatas linealmente acotados(linear-bounded).

Tipo 2 o "libre de contexto

x puede ser reemplazado por y si x pertenece a los smbolos No Terminales e y es un Terminal o No

Terminal, incluyendo la cadena vaca.

Mquinas que los pueden leer:

Mquinas que los aceptan: Autmata a Pila (Pushdown Automaton)
Tipo 3 o "Regular

Tambin llamada "De contexto regular

puede ser reemplazado por si pertenece a los smbolos No Terminales y es uno de estos 3:
Un smbolo Terminal no nulo seguido de un No Terminal.
Un smbolo No Terminal seguido de un smbolo Terminal no nulo.
Un smbolo Terminal pudiendo ser la cadena vaca.

Mquinas que ls aceptan: autmata finito, determinista o no determinista.

 Ejemplo de Autmata a Pila de Autora Propia

Q= 1, 2, 3, 4
V= ,
= , , ,

Zo= Zo

F= 4
 REFERENCIAS BIBLIOGRAFICAS

http://antares.sip.ucm.es:8180/webtalf/index.jsp?submenu=temas/submenuIncontextuales&contenido=temas/gramRe
gulares

http://www.exa.unicen.edu.ar/catedras/ccomp1/ApunteGRyER.pdf

file:///C:/Users/User/Downloads/Gu%C3%ADa%20de%20actividades%20y%20r%C3%BAbrica%20de%20evaluaci
%C3%B3n%20Fase%202%20Debatir%20y%20desarrollar%20los%20ejercicios%20(3).pdf

Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes, Gramticas Y Autmatas Para Informticos.
Recuperado de:
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site=eds-
live&ebv=EB&ppid=pp_Cover

Hernndez, R. (2010). Practique la teora de autmatas y lenguajes formales. (pp. 1 -124). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10