Professional Documents
Culture Documents
Induccin matemtica
Teorema 1: Si x 4, entonces 2x x2
Conversin contradictoria:
Si H entonces C es si no C entonces no H
es
Si H entonces C es si C entonces H
Contraejemplos
Si x es mltiplo de 3 tambin lo es de 5
Con x=6 se demuestra la falsedad
Clase magistral
Lo ms recomendado
Tabla de verdad
Cuantificadores
Induccin matemtica
Contrarrecproco
+ Informacin
Aplicaciones de la teora de autmatas
Mquinas de Turing
Breve historia de las mquinas
Test tema I
Repasar tema I
Clase magistral
Lo ms recomendado
Autmatas finitos deterministas
AFD: la funcin de transicin extendida y el lenguaje
Autmatas finitos
+ Informacin
Ejercicios sobre autmatas
Autmatas conexos
Definition of deterministic finite automata
Test tema II
Repasar tema II
Los AFN aceptan los lenguajes regulares al igual que los AFD.
Un estado inicial
= 0, 1 0 1
1. Caso base
2. Paso de induccin
1. Caso base:
2. Paso inductivo:
Jerarqua de operaciones
Ejemplo: 01 + 1 0 1
+1
()
Construccin inductiva: Sean {1,2, , n} los estados de y sea la
expresin regular cuyo lenguaje est formado por todas las cadenas
que van del estado al estado de , sin atravesar ningn nodo con
nmero mayor que
1. Caso base: k = 0
0
Si , = en funcin de si no hay ningn
1 + 2 + +
smbolo que satisfaga la condicin, si solo el smbolo la satisface o si
existen smbolos, 1 + 2 + + que lo verifiquen.
0 +
Anlogamente, si = , = ya que se
+ 1 + 2 + +
considera el camino de longitud cero.
1 1 1
El camino pasa a travs de al menos una vez. ( )
1 1 1 1
= + ( )
()
Por lo tanto, la expresin regular ser la unin de todas las 1
suponiendo que 1 es el estado inicial e .
Clase magistral
Lo ms recomendado
Construccin de ER a partir de AFD
Aplicaciones de las expresiones regulares
Lenguajes y expresiones regulares
+ Informacin
Introduccin a la teora de autmatas, lenguajes y computacin
Aplicaciones de los AFD
Expresiones regulares
Repasar tema IV
1. Caso base:
Notaciones especiales:
El operador | se utiliza en
lugar de + para especificar la
unin
Asociativa de la unin: + + = + ( + )
Conmutativa de la unin: + = +
Asociativa de la concatenacin: = ()
+ = +
+ = +
La concatenacin no es conmutativa
( ) =
+ = = siendo + = + + + y = + + + +
= + +
? = +
Clase magistral
Lo ms recomendado
Construccin de AFD a partir de ER
Flex. Desarrollo de un analizador lxico usando Flex
Lenguajes y expresiones regulares
+ Informacin
Introduccin a la teora de autmatas, lenguajes y computacin
Expresiones regulares en la Shell. Ejemplos de uso con grep,
awk y sed
UNIX Shell regular expressions and the sed and grep commands
Test tema IV
Repasar tema IV
Lema de Bombeo
a)
b)
c) , 0
Sea el lenguaje = {2 | 0}
o =
o = 1 , + ||
o = 2
6. Hay que encontrar una constante 0 con la que ninguna de las posibles
particiones de que hemos encontrado sean bombeables.
Clase magistral
Lo ms recomendado
Lema de bombeo
Propiedades de los lenguajes regulares
+ Informacin
Lenguajes no regulares
Test tema VI
Repasar tema VI
= +
= {, }
= > } { | = 1
Equivalencia de AF
Minimizacin de AF
Clase magistral
Lo ms recomendado
Minimizacin de un AFD
Equivalencia de dos autmatas finitos
Propiedades de los lenguajes regulares
+ Informacin
Ejercicios de equivalencias
Scientia et Technica
rboles de derivacin
()
Inferencia
recursiva
Derivacin
o Derivacin ms a la izquierda
o Derivacin ms a la derecha
= { : }
2.
3.
4.
Clase magistral
Lo ms recomendado
Gramticas independientes de contexto
rboles de derivacin
Gramticas libres de contexto
Lenguajes y gramticas independientes de contexto
+ Informacin
GIC
Derivations. Parse Trees and Ambiguitys
Es una GIC que describe las etiquetas permitidas y las formas en que
dichas etiquetas pueden anidarse.
Gramticas ambiguas
Gramticas ambiguas
El resultado es diferente: 1 + 2 3 1 + 2 3
Ejemplo cadena +
Clase magistral
Lo ms recomendado
Ambigedades de las gramticas
Lenguajes y gramticas independientes del contexto
+ Informacin
Gramtica ambigua
Derivations and Parse Trees
Derivations, Parse Trees and Ambiguitys
Socument Type Definition
Test tema IX
Repasar tema IX
= (, , , , 0 , 0 , )
0 , es el estado inicial.
0 , es el smbolo inicial.
Una flecha etiquetada como Inicio indica el estado inicial y los estados con
un crculos doble se corresponden a los estado de aceptacin.
En cambio, para los autmatas a pila se necesita una notacin que describa los
cambios en el estado, la entrada y la pila.
2 enfoques:
Sin embargo, para un autmata a pila, los lenguajes que acepta por estado
final y por pila vaca normalmente son diferentes.
{| 0 , , 0 (, , )}
= {| 0 , , 0 (, , )}
Clase magistral
Lo ms recomendado
Autmatas a pila
Ejemplo de un autmata a pila
Ejercicios de autmatas a pila
+ Informacin
Ejercicios sobre autmatas a pila
Pushdown Automata
Test tema X
Repasar tema X
Los lenguajes que son aceptados por estado final por algn autmata a pila.
Los lenguajes que son aceptados por pila vaca por algn autmata a pila.
Dada una GIC es posible construir un autmata a pila que acepte las mismas
cadenas del lenguaje, simulando las derivaciones ms a la izquierda de la GIC.
Entonces = ()
Dado un autmata a pila, se puede encontrar una GIC que defina el mismo
lenguaje.
Los APD aceptan una clase de lenguajes que se encuentra entre los
lenguajes regulares y los LIC.
Una de las propiedades ms tiles de los APD es que todos los lenguajes
que aceptan tiene alguna gramtica no ambigua.
Clase magistral
Lo ms recomendado
De una GIC a un autmata a pila
AP y APD
Autmatas a pila
+ Informacin
Ejercicios sobre autmatas
Test acerca de GIC y autmatas finitos
Test tema XI
Repasar tema XI
Lema de bombeo
Todo LIC puede ser generado por una GIC en la forma normal de
Chomsky.
El mtodo para eliminar smbolos intiles identifica las dos cosas que un
smbolo tienen que cumplir para resultar til:
1. Decimos que es generador si para alguna cadena terminal .
2. Decimos que es alcanzable si existe una derivacin para algn
y .
Eliminacin de producciones-
Eliminacin de producciones-
1. Base: (, ) es un par unitario para cualquier variable . Es decir,
en cero pasos.
Todo LIC no vaco sin tiene una gramtica que no contiene smbolos
intiles, en la que todas las producciones tienen una de las siguientes
formas:
Si es una GIC que genera un lenguaje que contiene al menos una cadena
distinta de , entonces existe otra GIC 1 tal que 1 = L G {}, y 1 no
tiene producciones-, ni producciones unitarias ni smbolos intiles.
Ejemplo anterior
Clase magistral
Lo ms recomendado
Forma normal de Chomsky
Lema de bombeo para GIC
Propiedades de los lenguajes independientes del contexto
+ Informacin
Ejercicios sobre los lenguajes independientes de contexto
Sustituciones
Reflexin
Homomorfismo inverso
Sea un LIC sobre un alfabeto y sea una sustitucin sobre tal que
() es un LIC para cada . Entonces, () es un LIC.
Sustituciones
3. Clausura (*) y clausura positiva (+): Sea 1 un LIC. Entonces es el lenguaje {1} y
es la sustitucin 1 = 1 , entonces 1 = (). De forma similar, si es el
lenguaje {1}+ , entonces +
1 = ().
= {0 1 2 | 1}
01 | 01
2 | 2
0 | 0
12 | 12
o es un LIC.
o no es necesariamente un LIC.
o 1 2 no es necesariamente un LIC.
Esta GIC tambin puede construirse para que acepte el mismo lenguaje que
por estado final.
Clase magistral
Lo ms recomendado
Propiedades de clausura de los LIC
Propiedades de los lenguajes independientes del contexto
+ Informacin
Ejercicios sobre las propiedades de los LIC
Propiedades de los Lenguajes Libres de Contexto