Actividad 1:

AUTOMATA Y LENGAJES FORMALES

CÓDIGO: 301405

Edgar Antonio Cortés

Tutor

John Édison Castro Velásquez

Estudiante
Hace referencia a las extensiones de los AFD, (autómatas finitos deterministas) adhiriendo una
memoria que se le llama pila para conseguir el almacenamiento de los caracteres que ingresan
 AUTOMATAS A PILA:
como cadena de entrada, su gramática, y de mas que simbolicen el estado de pila con referencia
a su contenido o vacío.
Características Principales.
 Se pueden implementar en cadenas
 Los caracteres y símbolos se pueden insertar o retirar de la pila.
 Cuentan con una cinta y mecanismo de control encontrado en uno de los estados
 Memoria auxiliar que proporciona confiabilidad y estabilidad

Propiedades.
 Puede describirse como un séptupla de tipo M=(S, Σ, Г, δ, s, Z, F) donde S es un
conjunto de estados finitos.
 Σ, Г son alfabetos, entradas, δ: S x (Σ U {ϵ}) x Г → P ( S x Г*), s ∈ S = estado
inicial, Z ∈ = símbolo inicial de la pila y F ∈ S es uno o un conjunto finales de
aceptación.
Ejemplo Autómata pila:
  AUTÓMATA PILA POR VACIADO:
Se puede definir por vaciado de pila N (M) cuando el lenguaje que acepta termina por no ser
determinista, es decir, el autómata M vacíaria la pila luego de examinar la cadena que entra sin
importar en qué estado quede.
Características Principales.
 Cuando la aceptación se realiza por vaciado de pila, el conjunto de estados finales F es
irrelevante
 AUTOMATAS A PILA POR ESTADOS FINALES
:
Este autómata describe como realiza la aceptación o rechazo de una cadena de caracteres
mediante movimientos como un subconjunto de una comparación.
Características Principales.
 Por su forma no podrían ser deterministas
 Estos autómatas reconocen una palabra cuando la pila está vacía.
 sus estados se pueden traducir a autómata a pila vacía.

 QUE ES UNA GRAMATICA:

 es un conjunto finito de reglas que Una gramática es una estructura algebraica formada por cuatro
elementos fundamentales:
describen toda la secuencia de símbolos
pertenecientes a un lenguaje específico. G = { NT, T, S, P }
■ donde
NT es el conjunto de elementos No Terminales
T es el conjunto de elementos Terminales
S es el Símbolo inicial de la gramática
P es el conjunto de Reglas de Producción
Características
Partiendo de un alfabeto, generan palabras ordenadas.
Se denominan como lenguaje formal pues se ajustan a las
reglas que lo determinan de acuerdo a la teoría de autómatas.
Se utiliza para definir la estructura de las frases y de las
palabras de un lenguaje.
Tipo 0 o "No restringida o recursivamente e numerables"
Tipo 1 o "Sensible al contexto"
Tipo 2 o "libre de contexto"
Tipo 3 o "Regular"
El lenguaje más general será, pues, de tipo 0, y no posee restricción alguna. Este
conjunto engloba el conjunto de todos los lenguajes posibles.
En el segundo nivel aparecen los lenguajes de tipo 1, también llamados lenguajes
“sensibles al contexto”, al permitir que el “papel” de las palabras dependa de la
posición en que aparezcan (es decir, del contexto). La mayor parte de los lenguajes
de ordenador pertenecen a este tipo.
En tercer lugar aparecen los lenguajes de tipo 2, o lenguajes “independientes del
contexto”. En ellas el significado de una palabra es independiente del lugar que
ocupa en la frase.
Finalmente, los lenguajes de tipo 3, o lenguajes regulares, son los que presentan
una estructura más sencilla
REALICE UN EJEMPLO DE AUTÓMATA A PILA DE
AUTORÍA PROPIA