SlideShare una empresa de Scribd logo
AUTÓMATA DE PILA Y
GRAMÁTICA DE
CHOMSKY
Pablo Guerra
Alexis González
AUTÓMATA DE PILA
DEFINICIÓN
Los Autómatas con Pila son una extensión de los AFD a los
que se les añade una memoria (pila).
En la pila se almacenan símbolos de la cadena de entrada y
de la gramática, así como caracteres especiales (#) para
indicar el estado de pila vacía.
CARACTERÍSTICAS
Los autómatas de pila pueden aceptar lenguajes que no pueden aceptar
los autómatas finitos.
Un autómata de pila cuenta con una cinta de entrada y un mecanismo de
control que puede encontrarse en uno de entre un número finito de estados.
A diferencia de los autómatas finitos, los autómatas de pila cuentan con
una memoria auxiliar llamada pila.
Los símbolos (llamados símbolos de pila) pueden ser insertados o
extraídos de la pila, de acuerdo con el manejo last-in-first-out (LIFO).
CARACTERÍSTICAS
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.
EJEMPLOS
APLICACIONES
Se pueden utilizar para analizar cadenas
Se puede construir analizadores LR para reconocer prácticamente
todos los lenguajes de programación para los que se pueden construir
GIC.
Es el método de análisis por desplazamiento y reducción sin
retroceso más general.
Las clases de gramáticas que pueden analizarse es un
supraconjunto de la clase de gramáticas que se pueden analizar con
analizadores sintácticos predictivos.
Puede detectar un error sintáctico tan pronto como sea posible
hacerlo en un examen de izquierda a derecha de la entrada.
GRAMÁTICAS DE
CHOMSKY
QUÉ SON?
Una gramática describe la estructura de las frases y de las palabras de un
lenguaje y se aplica por igual a:
•Las lenguas naturales humanas
•Lenguajes de programación.
En función de la forma de sus producciones, se puede caracterizar qué tan
compleja es una gramática formal. Noam Chomsky mostró que esta
caracterización clasifica jerárquicamente a las gramáticas formales:
Gramáticas en un nivel están incluidas en los siguientes niveles y la
inclusión entre niveles es propia.
PARA QUÉ SE UTILIZA?
Una gramática define la estructura de las frases y de las palabras de un
lenguaje.
•Las gramáticas son un método para la generación de palabras de un
lenguaje a partir de un alfabeto.
Para generar estas palabras se utilizan las derivaciones.
Se denominan formales porque se centran en los estudios de los lenguajes
formales que son aquellos que están definidos a partir de reglas
preestablecidas. Para los lenguajes naturales existen otro tipo de
gramáticas.
CÓMO SE CLASIFICA?
Tipo 1: Una gramática es tipo 1 monotónica si no contiene reglas donde el
lado izquierdo consista en más símbolos que el lado derecho
Tipo 2: Son gramáticas libres de contexto cuando en su lado izquierdo
siempre aparece un único no-terminal
Tipo 3: Son gramáticas regulares o de estados finitos cuando en su lado
derecho sólo se contiene un no-terminal y además se encuentra al final de la
producción.
Tipo 4: Gramáticas de elección finita (FC), no se permite ningún no-terminal
a la derecha y el símbolo inicial de la gramática tiene una lista finita de
alternativas.
CLASIFICACIONES
Chomsky clasificó las gramáticas en cuatro grandes
grupos:G0,G1,G2yG3.Cada uno de estos grupos incluye las gramáticas del
siguiente, de acuerdo con el siguiente esquema:
GRAMÁTICA TIPO 0
GRAMÁTICA TIPO 1
GRAMÁTICA TIPO 2
GRAMÁTICA TIPO 3
EJEMPLOS
TIPO 0:
TIPO1
TIPO2
TIPO3
o Tipo de la regla de producción <A><B>  y
 Tipo 3: No
 Tipo 2: No
 Tipo 1: No
 Tipo 0: Sí  Regla de producción de Tipo 0
o Tipo de la regla de producción <Y>  ba
 Tipo 3: No
 Tipo 2: Sí  Regla de producción de Tipo 2
 Tipo 1: Sí
 Tipo 0: Sí
CONCLUSIONES
Los autómatas de pila son similares a los AFDs pero se diferencian en que
pueden una memoria en la que se puede guardar información
A diferencia de los AFDs los autómatas de pila pueden guardar información
en lenguajes que los AFDs no reconocen
En las gramáticas de Chomsky las expresiones regulares no saben contar,
con lo que podemos apreciar que tenemos una gramática muy restrictiva
El lenguaje natural, el utilizado por el ser humano, se podría considerar
dentro de una gramática tipo 0, lo que nos permite generar un número
infinito de construcciones correctas.
BIBLIOGRAFÍA
http://www.uhu.es/francisco.moreno/talf/docs/tema7.pdf
http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte4.pdf
http://grupofivasa.blogspot.com/2009/07/jerarquia-de-chomsky.html
http://www.buenastareas.com/ensayos/Jerarqu%C3%ADas-De-Gram%C3%A1ticas-
De-Chomsky/3158087.html
http://www.buap.mx/portal_pprd/work/sites/escritos/resources/LocalContent/14/2/01
%20cesar_gonzalez.pdf

Más contenido relacionado

La actualidad más candente

automatas finitos
 automatas finitos automatas finitos
automatas finitos
Anel Sosa
 
Autómata de Pila
Autómata de Pila Autómata de Pila
Autómata de Pila
Edgar Jimenez
 
Automatas de pila
Automatas de pilaAutomatas de pila
Automatas de pila
Rawel Luciano
 
Teoría De La Complejidad Algoritmica
Teoría De La Complejidad AlgoritmicaTeoría De La Complejidad Algoritmica
Teoría De La Complejidad Algoritmica
Rolf Pinto
 
Autómatas de pila
Autómatas de pila Autómatas de pila
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
Pablo Guerra
 
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turing
Anel Sosa
 
Lenguajes aceptados por una maquina de turing
Lenguajes aceptados por una maquina de turingLenguajes aceptados por una maquina de turing
Lenguajes aceptados por una maquina de turing
vmtorrealba
 
Estructura de un compilador 2
Estructura de un compilador 2Estructura de un compilador 2
Estructura de un compilador 2
perlallamas
 
Ejercicios
EjerciciosEjercicios
Ejercicios
Ricardo Tejera
 
Traductor y su estructura
Traductor y su estructuraTraductor y su estructura
Traductor y su estructura
Angel Miguel Coria Lopez
 
La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.
Emmanuel Colon
 
Examen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes FormalesExamen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes Formales
Diego Perdomo
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de Contexto
Brayhan Acosta
 
Autómatas finitos no deterministas
Autómatas finitos no deterministasAutómatas finitos no deterministas
Autómatas finitos no deterministas
Omega Tech
 
Teoría de autómatas
Teoría de autómatasTeoría de autómatas
Teoría de autómatas
Listiany Agramonte Mendoza
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajes
Jean Bernard
 
Lenguajes de una maquina de turing
Lenguajes de una maquina de turingLenguajes de una maquina de turing
Lenguajes de una maquina de turing
Guillermo Iván Prisco Pérez
 
Tipos de Autómatas 
Tipos de Autómatas Tipos de Autómatas 
Tipos de Autómatas 
yelizabeth_20
 
Maquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e IrresolubilidadMaquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e Irresolubilidad
lluis31
 

La actualidad más candente (20)

automatas finitos
 automatas finitos automatas finitos
automatas finitos
 
Autómata de Pila
Autómata de Pila Autómata de Pila
Autómata de Pila
 
Automatas de pila
Automatas de pilaAutomatas de pila
Automatas de pila
 
Teoría De La Complejidad Algoritmica
Teoría De La Complejidad AlgoritmicaTeoría De La Complejidad Algoritmica
Teoría De La Complejidad Algoritmica
 
Autómatas de pila
Autómatas de pila Autómatas de pila
Autómatas de pila
 
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
 
maquinas de turing
maquinas de turingmaquinas de turing
maquinas de turing
 
Lenguajes aceptados por una maquina de turing
Lenguajes aceptados por una maquina de turingLenguajes aceptados por una maquina de turing
Lenguajes aceptados por una maquina de turing
 
Estructura de un compilador 2
Estructura de un compilador 2Estructura de un compilador 2
Estructura de un compilador 2
 
Ejercicios
EjerciciosEjercicios
Ejercicios
 
Traductor y su estructura
Traductor y su estructuraTraductor y su estructura
Traductor y su estructura
 
La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.
 
Examen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes FormalesExamen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes Formales
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de Contexto
 
Autómatas finitos no deterministas
Autómatas finitos no deterministasAutómatas finitos no deterministas
Autómatas finitos no deterministas
 
Teoría de autómatas
Teoría de autómatasTeoría de autómatas
Teoría de autómatas
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajes
 
Lenguajes de una maquina de turing
Lenguajes de una maquina de turingLenguajes de una maquina de turing
Lenguajes de una maquina de turing
 
Tipos de Autómatas 
Tipos de Autómatas Tipos de Autómatas 
Tipos de Autómatas 
 
Maquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e IrresolubilidadMaquina de turing y resolubilidad e Irresolubilidad
Maquina de turing y resolubilidad e Irresolubilidad
 

Similar a Autómatas de Pila

Gramatica
GramaticaGramatica
Gramatica
sdarky
 
GRAMATICA LIBRE DE CONTEXTO.ppt
GRAMATICA LIBRE DE CONTEXTO.pptGRAMATICA LIBRE DE CONTEXTO.ppt
GRAMATICA LIBRE DE CONTEXTO.ppt
ssuser18ad10
 
Lenguajes y Grmaticas.pdf
Lenguajes y Grmaticas.pdfLenguajes y Grmaticas.pdf
Lenguajes y Grmaticas.pdf
Edecio R. Freitez R.
 
Investigación Expositiva
Investigación ExpositivaInvestigación Expositiva
Investigación Expositiva
waralivt
 
Gramaticas de Chomsky
Gramaticas de ChomskyGramaticas de Chomsky
Gramaticas de Chomsky
Bertha Vega
 
Tipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según ChomskyTipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según Chomsky
Alejandro Zaraos Vázquez
 
Gramaticas
GramaticasGramaticas
Gramaticas
pastoral juvenil
 
gramatica-libre-de-contexto.ppt
gramatica-libre-de-contexto.pptgramatica-libre-de-contexto.ppt
gramatica-libre-de-contexto.ppt
SAMANTHANICOLETIPANG
 
Análisis lexicográfico
Análisis lexicográficoAnálisis lexicográfico
Análisis lexicográfico
Eraclio Castillo Vidal
 
Automátas de Pila
Automátas de PilaAutomátas de Pila
Automátas de Pila
Yuyi Pacheco Kimura
 
Corporacion universitaria remington compiladores deisy
Corporacion universitaria remington compiladores deisyCorporacion universitaria remington compiladores deisy
Corporacion universitaria remington compiladores deisy
Deisy Nereida Lozada Ortiz
 
Introducción a los compiladores - Parte 2
Introducción a los compiladores - Parte 2Introducción a los compiladores - Parte 2
Introducción a los compiladores - Parte 2
Universidad
 
Típos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretesTípos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretes
Elmer André Boulangger Alberca
 
Jerarquia de chomsky
Jerarquia de chomsky Jerarquia de chomsky
Jerarquia de chomsky
daniel9026
 
Compilador2
Compilador2Compilador2
Compilador2
Calzada Meza
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contexto
Verónica Es'Loo
 
Analisis sintactico
Analisis sintacticoAnalisis sintactico
Analisis sintactico
ROQUE Caldas Dominguez
 
Articulo Autómata (push down)
Articulo Autómata (push down)Articulo Autómata (push down)
Articulo Autómata (push down)
Scarlinr
 
Taller de programación de sistemas. Descripción de práctica 1
Taller de programación de sistemas. Descripción de práctica 1Taller de programación de sistemas. Descripción de práctica 1
Taller de programación de sistemas. Descripción de práctica 1
Michelle Torres
 
Exposición de compiladores e intérpretes - Profesor: Eddie Malca
Exposición de compiladores e intérpretes - Profesor: Eddie MalcaExposición de compiladores e intérpretes - Profesor: Eddie Malca
Exposición de compiladores e intérpretes - Profesor: Eddie Malca
Elmer André Boulangger Alberca
 

Similar a Autómatas de Pila (20)

Gramatica
GramaticaGramatica
Gramatica
 
GRAMATICA LIBRE DE CONTEXTO.ppt
GRAMATICA LIBRE DE CONTEXTO.pptGRAMATICA LIBRE DE CONTEXTO.ppt
GRAMATICA LIBRE DE CONTEXTO.ppt
 
Lenguajes y Grmaticas.pdf
Lenguajes y Grmaticas.pdfLenguajes y Grmaticas.pdf
Lenguajes y Grmaticas.pdf
 
Investigación Expositiva
Investigación ExpositivaInvestigación Expositiva
Investigación Expositiva
 
Gramaticas de Chomsky
Gramaticas de ChomskyGramaticas de Chomsky
Gramaticas de Chomsky
 
Tipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según ChomskyTipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según Chomsky
 
Gramaticas
GramaticasGramaticas
Gramaticas
 
gramatica-libre-de-contexto.ppt
gramatica-libre-de-contexto.pptgramatica-libre-de-contexto.ppt
gramatica-libre-de-contexto.ppt
 
Análisis lexicográfico
Análisis lexicográficoAnálisis lexicográfico
Análisis lexicográfico
 
Automátas de Pila
Automátas de PilaAutomátas de Pila
Automátas de Pila
 
Corporacion universitaria remington compiladores deisy
Corporacion universitaria remington compiladores deisyCorporacion universitaria remington compiladores deisy
Corporacion universitaria remington compiladores deisy
 
Introducción a los compiladores - Parte 2
Introducción a los compiladores - Parte 2Introducción a los compiladores - Parte 2
Introducción a los compiladores - Parte 2
 
Típos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretesTípos de grámatica y más, exposición de compiladores e intérpretes
Típos de grámatica y más, exposición de compiladores e intérpretes
 
Jerarquia de chomsky
Jerarquia de chomsky Jerarquia de chomsky
Jerarquia de chomsky
 
Compilador2
Compilador2Compilador2
Compilador2
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contexto
 
Analisis sintactico
Analisis sintacticoAnalisis sintactico
Analisis sintactico
 
Articulo Autómata (push down)
Articulo Autómata (push down)Articulo Autómata (push down)
Articulo Autómata (push down)
 
Taller de programación de sistemas. Descripción de práctica 1
Taller de programación de sistemas. Descripción de práctica 1Taller de programación de sistemas. Descripción de práctica 1
Taller de programación de sistemas. Descripción de práctica 1
 
Exposición de compiladores e intérpretes - Profesor: Eddie Malca
Exposición de compiladores e intérpretes - Profesor: Eddie MalcaExposición de compiladores e intérpretes - Profesor: Eddie Malca
Exposición de compiladores e intérpretes - Profesor: Eddie Malca
 

Último

Estructuras básicas_ conceptos básicos de programación (1).pdf
Estructuras básicas_ conceptos básicos de programación  (1).pdfEstructuras básicas_ conceptos básicos de programación  (1).pdf
Estructuras básicas_ conceptos básicos de programación (1).pdf
MaraJos722801
 
Ingeniería en Telemática y ejercicios.pdf
Ingeniería en Telemática y ejercicios.pdfIngeniería en Telemática y ejercicios.pdf
Ingeniería en Telemática y ejercicios.pdf
Camila301231
 
Herramientas para los abogados, 3 herramientas
Herramientas para los abogados, 3 herramientasHerramientas para los abogados, 3 herramientas
Herramientas para los abogados, 3 herramientas
yessicacarrillo16
 
Diagrama de pareto.docx trabajo de tecnologia
Diagrama de pareto.docx trabajo de tecnologiaDiagrama de pareto.docx trabajo de tecnologia
Diagrama de pareto.docx trabajo de tecnologia
RazeThefox
 
Estructuras básicas_ conceptos básicos de programación (1).pdf
Estructuras básicas_ conceptos básicos de programación  (1).pdfEstructuras básicas_ conceptos básicos de programación  (1).pdf
Estructuras básicas_ conceptos básicos de programación (1).pdf
AnaSofaRosmaya
 
Trabajo de ten¡cnologia 11-2.......... (1).pdf
Trabajo de ten¡cnologia 11-2.......... (1).pdfTrabajo de ten¡cnologia 11-2.......... (1).pdf
Trabajo de ten¡cnologia 11-2.......... (1).pdf
ElizabethAcostaQuinc
 
Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...
Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...
Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...
KukiiSanchez
 
El uso de las TIC en la vida cotidiana.pptx
El uso de las TIC en la vida cotidiana.pptxEl uso de las TIC en la vida cotidiana.pptx
El uso de las TIC en la vida cotidiana.pptx
jgvanessa23
 
INFORMATICA Y TECNOLOGIA
INFORMATICA Y TECNOLOGIAINFORMATICA Y TECNOLOGIA
INFORMATICA Y TECNOLOGIA
renzocruz180310
 
Plantilla carrier y tecnologia de TIGO.pptx
Plantilla carrier y tecnologia de TIGO.pptxPlantilla carrier y tecnologia de TIGO.pptx
Plantilla carrier y tecnologia de TIGO.pptx
edwinedsonsuyo
 
Excel Avanzado_ Diagrama de Pareto .pdf
Excel Avanzado_  Diagrama de Pareto .pdfExcel Avanzado_  Diagrama de Pareto .pdf
Excel Avanzado_ Diagrama de Pareto .pdf
IsabellaLugo3
 
LA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptx
LA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptxLA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptx
LA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptx
pauca1501alvar
 
Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...
Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...
Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...
RazeThefox
 
Flows: Mejores Prácticas y Nuevos Features
Flows: Mejores Prácticas y Nuevos FeaturesFlows: Mejores Prácticas y Nuevos Features
Flows: Mejores Prácticas y Nuevos Features
Paola De la Torre
 
C1B3RWALL La red de cooperación de Madrid.pptx
C1B3RWALL La red de cooperación de Madrid.pptxC1B3RWALL La red de cooperación de Madrid.pptx
C1B3RWALL La red de cooperación de Madrid.pptx
Guillermo Obispo San Román
 
El uso de las TIC's en la vida cotidiana
El uso de las TIC's en la vida cotidianaEl uso de las TIC's en la vida cotidiana
El uso de las TIC's en la vida cotidiana
231458066
 
Gobernanza con SharePoint Premium de principio a fin
Gobernanza con SharePoint Premium de principio a finGobernanza con SharePoint Premium de principio a fin
Gobernanza con SharePoint Premium de principio a fin
Juan Carlos Gonzalez
 
Programas relacionados con la telemática.pdf
Programas relacionados con la telemática.pdfProgramas relacionados con la telemática.pdf
Programas relacionados con la telemática.pdf
DiegoPinillo
 
trabajo monografico sobre el yandex .jim
trabajo monografico sobre el yandex .jimtrabajo monografico sobre el yandex .jim
trabajo monografico sobre el yandex .jim
jhonyaicaterodriguez
 
Slideshare: definiciòn, registrarse, presentaciones, ventajas y desventajas
Slideshare: definiciòn, registrarse, presentaciones, ventajas y desventajasSlideshare: definiciòn, registrarse, presentaciones, ventajas y desventajas
Slideshare: definiciòn, registrarse, presentaciones, ventajas y desventajas
AdrianaRengifo14
 

Último (20)

Estructuras básicas_ conceptos básicos de programación (1).pdf
Estructuras básicas_ conceptos básicos de programación  (1).pdfEstructuras básicas_ conceptos básicos de programación  (1).pdf
Estructuras básicas_ conceptos básicos de programación (1).pdf
 
Ingeniería en Telemática y ejercicios.pdf
Ingeniería en Telemática y ejercicios.pdfIngeniería en Telemática y ejercicios.pdf
Ingeniería en Telemática y ejercicios.pdf
 
Herramientas para los abogados, 3 herramientas
Herramientas para los abogados, 3 herramientasHerramientas para los abogados, 3 herramientas
Herramientas para los abogados, 3 herramientas
 
Diagrama de pareto.docx trabajo de tecnologia
Diagrama de pareto.docx trabajo de tecnologiaDiagrama de pareto.docx trabajo de tecnologia
Diagrama de pareto.docx trabajo de tecnologia
 
Estructuras básicas_ conceptos básicos de programación (1).pdf
Estructuras básicas_ conceptos básicos de programación  (1).pdfEstructuras básicas_ conceptos básicos de programación  (1).pdf
Estructuras básicas_ conceptos básicos de programación (1).pdf
 
Trabajo de ten¡cnologia 11-2.......... (1).pdf
Trabajo de ten¡cnologia 11-2.......... (1).pdfTrabajo de ten¡cnologia 11-2.......... (1).pdf
Trabajo de ten¡cnologia 11-2.......... (1).pdf
 
Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...
Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...
Morado y Verde Animado Patrón Abstracto Proyecto de Grupo Presentación de Edu...
 
El uso de las TIC en la vida cotidiana.pptx
El uso de las TIC en la vida cotidiana.pptxEl uso de las TIC en la vida cotidiana.pptx
El uso de las TIC en la vida cotidiana.pptx
 
INFORMATICA Y TECNOLOGIA
INFORMATICA Y TECNOLOGIAINFORMATICA Y TECNOLOGIA
INFORMATICA Y TECNOLOGIA
 
Plantilla carrier y tecnologia de TIGO.pptx
Plantilla carrier y tecnologia de TIGO.pptxPlantilla carrier y tecnologia de TIGO.pptx
Plantilla carrier y tecnologia de TIGO.pptx
 
Excel Avanzado_ Diagrama de Pareto .pdf
Excel Avanzado_  Diagrama de Pareto .pdfExcel Avanzado_  Diagrama de Pareto .pdf
Excel Avanzado_ Diagrama de Pareto .pdf
 
LA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptx
LA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptxLA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptx
LA GLOBALIZACIÓN RELACIONADA CON EL USO DE HERRAMIENTAS.pptx
 
Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...
Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...
Ejercicio Resuelto del Diagrama de Pareto Realizado por Hanna Isabella Garcia...
 
Flows: Mejores Prácticas y Nuevos Features
Flows: Mejores Prácticas y Nuevos FeaturesFlows: Mejores Prácticas y Nuevos Features
Flows: Mejores Prácticas y Nuevos Features
 
C1B3RWALL La red de cooperación de Madrid.pptx
C1B3RWALL La red de cooperación de Madrid.pptxC1B3RWALL La red de cooperación de Madrid.pptx
C1B3RWALL La red de cooperación de Madrid.pptx
 
El uso de las TIC's en la vida cotidiana
El uso de las TIC's en la vida cotidianaEl uso de las TIC's en la vida cotidiana
El uso de las TIC's en la vida cotidiana
 
Gobernanza con SharePoint Premium de principio a fin
Gobernanza con SharePoint Premium de principio a finGobernanza con SharePoint Premium de principio a fin
Gobernanza con SharePoint Premium de principio a fin
 
Programas relacionados con la telemática.pdf
Programas relacionados con la telemática.pdfProgramas relacionados con la telemática.pdf
Programas relacionados con la telemática.pdf
 
trabajo monografico sobre el yandex .jim
trabajo monografico sobre el yandex .jimtrabajo monografico sobre el yandex .jim
trabajo monografico sobre el yandex .jim
 
Slideshare: definiciòn, registrarse, presentaciones, ventajas y desventajas
Slideshare: definiciòn, registrarse, presentaciones, ventajas y desventajasSlideshare: definiciòn, registrarse, presentaciones, ventajas y desventajas
Slideshare: definiciòn, registrarse, presentaciones, ventajas y desventajas
 

Autómatas de Pila

  • 1. AUTÓMATA DE PILA Y GRAMÁTICA DE CHOMSKY Pablo Guerra Alexis González
  • 3. DEFINICIÓN Los Autómatas con Pila son una extensión de los AFD a los que se les añade una memoria (pila). En la pila se almacenan símbolos de la cadena de entrada y de la gramática, así como caracteres especiales (#) para indicar el estado de pila vacía.
  • 4. CARACTERÍSTICAS Los autómatas de pila pueden aceptar lenguajes que no pueden aceptar los autómatas finitos. Un autómata de pila cuenta con una cinta de entrada y un mecanismo de control que puede encontrarse en uno de entre un número finito de estados. A diferencia de los autómatas finitos, los autómatas de pila cuentan con una memoria auxiliar llamada pila. Los símbolos (llamados símbolos de pila) pueden ser insertados o extraídos de la pila, de acuerdo con el manejo last-in-first-out (LIFO).
  • 5. CARACTERÍSTICAS 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.
  • 7.
  • 8.
  • 9. APLICACIONES Se pueden utilizar para analizar cadenas Se puede construir analizadores LR para reconocer prácticamente todos los lenguajes de programación para los que se pueden construir GIC. Es el método de análisis por desplazamiento y reducción sin retroceso más general. Las clases de gramáticas que pueden analizarse es un supraconjunto de la clase de gramáticas que se pueden analizar con analizadores sintácticos predictivos. Puede detectar un error sintáctico tan pronto como sea posible hacerlo en un examen de izquierda a derecha de la entrada.
  • 11. QUÉ SON? Una gramática describe la estructura de las frases y de las palabras de un lenguaje y se aplica por igual a: •Las lenguas naturales humanas •Lenguajes de programación. En función de la forma de sus producciones, se puede caracterizar qué tan compleja es una gramática formal. Noam Chomsky mostró que esta caracterización clasifica jerárquicamente a las gramáticas formales: Gramáticas en un nivel están incluidas en los siguientes niveles y la inclusión entre niveles es propia.
  • 12. PARA QUÉ SE UTILIZA? Una gramática define la estructura de las frases y de las palabras de un lenguaje. •Las gramáticas son un método para la generación de palabras de un lenguaje a partir de un alfabeto. Para generar estas palabras se utilizan las derivaciones. Se denominan formales porque se centran en los estudios de los lenguajes formales que son aquellos que están definidos a partir de reglas preestablecidas. Para los lenguajes naturales existen otro tipo de gramáticas.
  • 13. CÓMO SE CLASIFICA? Tipo 1: Una gramática es tipo 1 monotónica si no contiene reglas donde el lado izquierdo consista en más símbolos que el lado derecho Tipo 2: Son gramáticas libres de contexto cuando en su lado izquierdo siempre aparece un único no-terminal Tipo 3: Son gramáticas regulares o de estados finitos cuando en su lado derecho sólo se contiene un no-terminal y además se encuentra al final de la producción. Tipo 4: Gramáticas de elección finita (FC), no se permite ningún no-terminal a la derecha y el símbolo inicial de la gramática tiene una lista finita de alternativas.
  • 14. CLASIFICACIONES Chomsky clasificó las gramáticas en cuatro grandes grupos:G0,G1,G2yG3.Cada uno de estos grupos incluye las gramáticas del siguiente, de acuerdo con el siguiente esquema:
  • 16.
  • 19.
  • 22. TIPO1
  • 23. TIPO2
  • 24. TIPO3 o Tipo de la regla de producción <A><B>  y  Tipo 3: No  Tipo 2: No  Tipo 1: No  Tipo 0: Sí  Regla de producción de Tipo 0 o Tipo de la regla de producción <Y>  ba  Tipo 3: No  Tipo 2: Sí  Regla de producción de Tipo 2  Tipo 1: Sí  Tipo 0: Sí
  • 25. CONCLUSIONES Los autómatas de pila son similares a los AFDs pero se diferencian en que pueden una memoria en la que se puede guardar información A diferencia de los AFDs los autómatas de pila pueden guardar información en lenguajes que los AFDs no reconocen En las gramáticas de Chomsky las expresiones regulares no saben contar, con lo que podemos apreciar que tenemos una gramática muy restrictiva El lenguaje natural, el utilizado por el ser humano, se podría considerar dentro de una gramática tipo 0, lo que nos permite generar un número infinito de construcciones correctas.