Teorico_TeoLeng_2004 - APUNTES DE TEORA DE LENGUAJE 2004...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
APUNTES DE TEORÍA DE LENGUAJE 2004 TEORIA DE LENGUAJES TEORICO 2004 Apuntes recopilados por MARCELO SILVA Material recopilado por Marcelo SILVA Página 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
APUNTES DE TEORÍA DE LENGUAJE 2004 LENGUAJES REGULARES____________________________________________________ 4 Def. Lenguaje Regular _____________________________________________________ 4 Expresión Regular ________________________________________________________ 4 Autómatas Finitos ________________________________________________________ 5 Autómatas Finitos Deterministas ____________________________________________ 5 Lenguaje Regular (2da. Definición):__________________________________________ 6 Autómata Finito NO Determinista____________________________________________ 8 Def.: Lenguaje L aceptado por un AFND ______________________________________ 9 Lenguaje Regular (3ra. Definición): __________________________________________ 9 Algoritmo AFND AFD. __________________________________________________ 9 AFND - ε : Autómata Finito No Determinista con Transición Epsilon. _______________ 11 Def.: ε - Clausura (q) donde q es un estado___________________________________ 12 ε - Clausura (P) donde P es un conjunto de estados ____________________________ 12 Lenguaje Regular (4ta. Definición): _________________________________________ 13 Def.: Lenguaje L aceptado por un AFND - ε ___________________________________ 13 AFND AFND - ε ______________________________________________________ 14 Algoritmo AFND - ε AFND. _____________________________________________ 14 Algoritmo ER AFND- ε . ________________________________________________ 17 Algoritmo AFD ER.____________________________________________________ 20 Máquinas secuenciales _____________________________________________________ 21 Autómatas con salida_____________________________________________________ 21 Máquina de MEALY ______________________________________________________ 22 Máquina de MOORE ______________________________________________________ 23 Equivalencia MOORE MEALY ____________________________________________ 24 Equivalencia MEALY MOORE ____________________________________________ 24 TEOREMA DE MYHILL – NERODE __________________________________________ 27 COROLARIO DEL TEOREMA _____________________________________________ 28 ALGORITMO DE MINIMIZACIÓN ____________________________________________ 29 Algoritmo de minimización de máquinas secuenciales _________________________ 32 PROPIEDADES DE LOS LENGUAJES REGULARES ______________________________ 34 PUMPING LEMMA________________________________________________________ 34 Contra recíproco del Pumping Lemma: ______________________________________ 35 Propiedad UNION ________________________________________________________ 38 Propiedad CONCATENACIÓN ______________________________________________ 38 Propiedad CLAUSURA DE KLEENE _________________________________________ 38 Propiedad COMPLEMENTO________________________________________________ 39 Propiedad INTERSECCIÓN ________________________________________________ 39 Propiedad REVERSO _____________________________________________________ 40 Propiedad COCIENTE_____________________________________________________ 40 Propiedad SUSTITUCIÓN__________________________________________________ 41 Propiedades de la Sustitución _____________________________________________ 41 Propiedad HOMOMORFISMO ______________________________________________ 41 Propiedad HOMOMORFISMO INVERSO ______________________________________ 41 GRAMÁTICAS _____________________________________________________________ 43 Material recopilado por Marcelo SILVA Página 2
Background image of page 2
APUNTES DE TEORÍA DE LENGUAJE 2004 Gramática Libre del Contexto ______________________________________________ 43 DERIVACIÓN :___________________________________________________________ 44 ARBOL DE DERIVACIÓN : _______________________________________________ 45 Def.: Derivación de más a la izquierda_______________________________________ 47 Def.: Derivación de más a la derecha _______________________________________ 47 Gramática Ambigua ______________________________________________________ 47 Gramáticas regulares_____________________________________________________ 49 Def. Lineales derechas___________________________________________________ 49 Def. Lineales izquierdas __________________________________________________ 49 Def.: Variable Positiva ___________________________________________________ 50 Def.: Variable Alcanzable _________________________________________________ 50 Def.: Variable Útil _______________________________________________________ 51 Def.: Variable Anulable___________________________________________________ 51 Def.: Producción Unitaria _________________________________________________ 51 Def.: Gramática Simplificada ______________________________________________ 51 Simplificación de producciones - ε __________________________________________ 51 Simplificación de producciones unitarias _____________________________________ 52 Eliminación de variables no positivas________________________________________ 52 Eliminación de variables no alcanzables _____________________________________ 53 Orden de aplicación de los algoritmos _______________________________________ 54 Normalización ___________________________________________________________ 55 Forma Normal de Chomsky _______________________________________________ 55 Teorema de Normalización de Chomsky _____________________________________ 55 Forma Normal de Greibach _______________________________________________ 56 Teorema de Normalización de Chomsky _____________________________________ 56 Autómatas Push Down (APD) ______________________________________________ 56 Descripción Instantánea__________________________________________________ 57 Lenguaje aceptado por estado final _________________________________________ 58 Lenguaje aceptado por stack vacío _________________________________________ 58 Autómata Push Down Determinista _________________________________________ 58 Equivalencia entre L AEF y L ASV _____________________________________________ 59 Equivalencia entre GLC y APD _____________________________________________ 60 Propiedades de los Lenguajes Libres de Contexto (LLC) _______________________ 62 Pumping Lemma _______________________________________________________ 62 Contra recíproco del Pumping Lemma_______________________________________ 64 Lema de OGDEN _______________________________________________________ 66 Contra recíproco del lema de OGDEN_______________________________________ 66 Propiedades de Clausura de los LLC ________________________________________ 68 Jerarquía de Chomsky ____________________________________________________ 70 Gramáticas Irrestrictas ___________________________________________________ 70 Lenguajes sensibles al contexto____________________________________________ 70 Máquina de Turing _______________________________________________________ 72 Material recopilado por Marcelo SILVA Página 3
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
APUNTES DE TEORÍA DE LENGUAJE 2004 LENGUAJES REGULARES Σ denota el alfabeto Σ * (Clausura sobre Σ )
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/25/2011 for the course INCO 1325 taught by Professor J.prada during the Spring '11 term at Universidad de La República.

Page1 / 73

Teorico_TeoLeng_2004 - APUNTES DE TEORA DE LENGUAJE 2004...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online