AUTOMATAS Y LENGUAJES FORMALES

CÓDIGO: 301405

Presentado a: Edgar Antonio Cortes

Entregado por: Jairo Andrés Criollo López

Código: 1110.503.524

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
Abril 2018
Ibagué
AUTOMATAS A PILA
Jairo Andrés Criollo López
 DEFINICION

Un autómata con pila, autómata a pila o autómata de pila es un modelo matemático de un sistema que
recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al
lenguaje que el autómata reconoce. El lenguaje que reconoce un autómata con pila pertenece al grupo
de los lenguajes libres de contexto en la clasificación de la Jerarquía de Chomsky..
 CARACTERÍSTICAS
•Sea
  M= Donde:
= Es El Conjunto Finito De Estados
Alfabeto O Conjunto Finito De Símbolos De La Cinta De Entrada.
= Alfabeto O Conjunto Finito De Símbolos De La Pila
= Función De Transición De Estados
= Estado Inicial
= Simbolo Distinguido
= Conjutnto De Estados Finales O Estados De Aceptación
 PROPIEDADES
• Las transiciones entre los estados que ejecutan los autómatas de pila dependen de los símbolos de
entrada y de los símbolos de la pila.

• El autómata acepta una cadena x si la secuencia de transiciones, comenzando en estado inicial y con
pila vacía,

• Conduce a un estado final, después de leer toda la cadena x

 GRAMATICA
• Una gramática ("G") desde el punto de vista de la teoría de autómatas es un conjunto finito de reglas que describen toda la
secuencia de símbolos pertenecientes a un lenguaje específico L. Dos gramáticas que describan el mismo lenguaje se
llaman gramáticas equivalentes.
• Una gramática es una estructura algebraica formada por cuatro elementos fundamentales:
• 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
 GRAMATICA
•  GRAMÁTICAS SIN RESTRICCIONES: incluye a todas las gramáticas formales. Estas gramáticas
generan todos los lenguajes capaces de ser reconocidos por una máquina de Turing. Los lenguajes
son conocidos como lenguajes recursivamente enumerables.
• GRAMÁTICAS SENSIBLES AL CONTEXTO: generan los lenguajes sensibles al contexto. Estas
gramáticas tienen reglas de la forma con A un no terminal y cadenas de terminales y no terminales.
Las cadenas pueden ser vacías, pero no puede serlo.
La regla está permitida si no aparece en la parte derecha de ninguna regla. Los lenguajes descritos por
estas gramáticas son exactamente todos aquellos lenguajes reconocidos por una máquina de Turing
determinista cuya cinta de memoria está acotada por un cierto número entero de veces sobre la longitud
de entrada, también conocidas como autómatas linealmente acotados.
• GRAMÁTICAS
  REGULARES): generan los lenguajes regulares. Estas gramáticas se restringen a
aquellas reglas que tienen en la parte izquierda un no terminal, y en la parte derecha un solo terminal,
posiblemente seguido de un no terminal. La regla también está permitida si no aparece en la parte
derecha de ninguna regla. Estos lenguajes son aquellos que pueden ser aceptados por un autómata
finito. También esta familia de lenguajes pueden ser obtenidas por medio de expresiones regulares.
 BIBLIOGRAFIA
• Teoria de lenguajes, gramáticas y autómatas para informáticos.
http://
bibliotecavirtual.unad.edu.co:2171/eds/ebookviewer/ebook?sid=ac346d
5f-66ee-4f67-9b1b-4fb7af7e1c5b%40sessionmgr4006&ppid=pp_Cover&vid=0
&format=EB