Académique Documents
Professionnel Documents
Culture Documents
LENGUAJES REGULARES
Definicin
Sea un alfabeto, el conjunto de lenguajes regulares sobre el alfabeto se
define como sigue:
es un lenguaje regular
{ }
es un lenguaje regular
Ejemplo 1
Sea ={a,b}, entonces de la definicin se tiene que:
y { } son regulares
{ a } y {b } son regulares
{a , b }
{a , b , ab , ba , aa , bb }
es regular (union)
Es regular (Union)
Ejemplo 2
Sea ={0,1,2}, entonces de la definicin se tiene que:
y { } son regulares
{ 0 } , { 1 } y {2 } son regulares
{ 0,1,2 } , {0,1 } , {0,2 } es regular (union)
Teoremas
Todos los lenguajes finitos son regulares
C
Diagramas de transiciones
Las expresiones regulares nos permiten determinar con facilidad si una cadena
pertenece o no a un lenguaje dado. Por ejemplo: si tenemos al lenguaje
definido por la expresin regular a*b*, esta se puede interpretar como el
lenguaje que acepta cualquier cadena que comience con cualquier cantidad de
aes, seguida por cualquier cantidad de bes, como por ejemplo:
aaab,abbb,a,bb,,etc. Pero en cambio, no acepta otras cadenas como
abab,baba,bba,etc.
Otra tcnica que permite identificar si una cadena es aceptada o no por un
lenguaje es el empleo de diagramas de transiciones, los cuales son grafos
dirigidos a cuyos nodos se les llama estados y a sus aristas se las llama
transiciones, estas
a se encuentran etiquetadas con algn smbolo del alfabeto,
b
como se muestra en la figura siguiente.
q1
q0
Existe un estado que se llama estado inicia, el cual se seala con una flecha, a
partir del cual se comienza el reconocimiento de la cadena; cada smbolo ledo
provoca una transicin de un estado a otro, siguiendo la arista etiquetada con
este. Este proceso se repite hasta agotar la cadena. Si el estado donde
finalizamos es un estado de aceptacin, que se identifica por un doble circulo,
quiere decir que la cadena analizada pertenece al lenguaje, en caso contrario
es rechazada.
Ejemplo 1:
La siguiente figura nos permite observar cmo se emplea el diagrama de
transiciones anterior para determinar si la cadena w=aaabab es aceptada o no
por el lenguaje representado por este.
q 0 q0 q0 q 0 q 1 q1 q0
Y como el terminal no es de aceptacin la cadena es rechazada
En cambio si la cadena es w=aaababb es una cadena valida por que el
terminal es de aceptacin.
Tambin es posible representar un diagrama de transiciones de manera tabular
de la siguiente forma: colocamos a cada smbolo como encabezado de una de
las columnas y a cada estado al inicio de cada uno de los renglones. La flecha
indica el estado inicial y el asterisco se usa para denotar los estados de
aceptacin. Dentro de la tabla se coloca el estado siguiente segn corresponda
cada transicin:
a
q0 q0
b
q1
q1 q1
q0
a
q0 q0
b
q1
q1 q1
q0
a
Y el diagrama
de transiciones quedara
q1
q0
b
={a , b }
{q1}
{q2}
q3
q4
{q4}
a
q0
b
q1 b
q2
a
q0
q0
es un lenguaje regular.
Ejemplo 1
L=( { a }|n 0 { b } ) U {c }
n
2.9.Unin,Concatenacin,Cierre.Otrasoperaciones.
2.10.Algoritmosdedecisin
2.11.Identificacindelenguajesnoregulares
2.12.Otrostiposdeautmatas
2.13. Autmatas probabilsticas
3.LENGUAJESINDEPENDIENTESDELCONTEXTO12horas
3.1Gramticasindependientesdelcontexto
3.2.Reglasinnecesarias,Smbolosintiles,Reglasnogenerativas,Reglasunitarias.
3.3.Formasnormales
3.4.FormanormaldeChomsky.
3.5.FormanormaldeGreibach.
3.6.Autmatasapila
3.7.Lenguajesindependientesdelcontexto
3.8. Propiedades de cierre, Homomorfismos, Cociente
4.MQUINASDETURINGYCOMPUTABILIDAD12horas
4.1.MquinasdeTuring
4.2.Equivalenciaentre mquinassecuenciales,Mquinasconalfabetobinario,Mquinasconcintalimitadaenunadireccin,
Mquinascondoscintas.
4.3.MTparareconocerlenguajes
4.4..LenguajereconocidoporunaMT,MTparaaceptarunlenguajegeneradoporunagramticadetipo0.
4.5.MTparacomputarfunciones
4.6.Funcionesdeunparmetro,Funcionesdevariosparmetros,Funcionescomplejas.
4.7..MquinadeTuringyComputacin
4.8.TesisdeChurch/Turing
4.9.MquinadeTuringUniversal.
4.10.Funcionescomputables.
4.11.Enumerabilidaddeconjuntos,Funcionesnocomputables
4.12.Decidibilidad.
4.13.Funcionesrecursivas
4.14. Otros modelos de computacin, Recursin en matem
1.1 Bibliografa