Está en la página 1de 6

1.

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

Para toda a al alfabeto,{a} es un lenguaje regular


Si L1 y L2 son dos lenguajes regulares, entonces L1 U L2, L1 * L2 y
L1* son lenguajes regulares
Ningun otro lenguaje sobre el alfabeto es regular

Ejemplo 1
Sea ={a,b}, entonces de la definicin se tiene que:
y { } son regulares

{ a } y {b } son regulares

{a , b }

{ aa } , { ab } , { bb } , { ba } son regulares (Concatenacion)

{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)

{ 01 } , {12 } , { 02 } son regulares (Concatenacion)

Teoremas
Todos los lenguajes finitos son regulares
C

Si L es regular,entonces L = L tambin es regular.

Si L1 y L2 son regulares, Entonces L1 L2, L1 L2, L2-L1 tambien son


lenguajes regulares.

2.1. Gramticas regulares


2.2. Autmatas finitos deterministas

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

Autmata finito determinista


Es el modelo matemtico de un sistema. Al modelo matematico que hemos
definido por medio de un diagrama de transiciones, que presenta a una
maquina que pasa de un estado a otro como respuesta a cada uno de los
smbolos de una cadena de entrada, se le llama autmata finito determinista y
se denota por AFD.
Formalmente se define a un AFD por la quntupla M=(Q, ,t,s,F) donde Q es
un conjunto finito de estados, es el alfabeto de entrada, s es el estado
inicial que pertenece a Q, t es la funcin de transicin y F es el subconjunto de
Q de los estados de aceptacin.
La caracterstica principal de un AFD es que t es una funcin que esta definida
para todos los posibles estados de qi que pertenecen a Q y para todos los
simbolos que pertenecen al alfabeto. Es decir para cualquier pareja de la forma
que qi,simbolos siempre existe un nico estado siguiente.
Ejemplo 1
Sea M el AFD donde Q={q0,q1},

={a,b}, F={q0}, s=q0 y las siguientes

transiciones t(q0,a)=q0,t(q0,b)=q1;t(q1,a)=q1 y t(q1,b)=q0 esto se representa


en la siguiente tabla de transiciones.

a
q0 q0

b
q1

q1 q1

q0

a
Y el diagrama
de transiciones quedara
q1

q0
b

2.3. Autmatas finitos no deterministas


Automata finito no determinista es aquel que puede tener cero, una o mas
transiciones distintas para el mismo smbolo de entrada y lo denotamos por
AFN.
En algunas ocasiones resulta mucho mas practico emplear un AFN en vez de
un AFD, tal como se puede observar en los siguientes ejemplos.
Ejemplo 1
Considere al diagrama mostrado en la figura siguiente este representa a un
AFN que acepta el lenguaje a*b Uab* se podr observar que para algunos
casos no existen transiciones definidas para otros hay mas de una para el
mismo sibolo.
Formalmente se define a un AFN por la quntupla M=(Q, ,i,s,F) donde Q es

un conjunto finito de estados,

es el alfabeto de entrada, s es el estado

inicial que pertenece a Q, t es la funcin de transicin y F es el subconjunto de


Q de los estados de aceptacin, i es la funcin de transicin, donde se puede
apreciar que el contradominio de la funcin es el conjunto de potencias de Q,
es decir que esta funcin devuelve conjuntos de estados en vez de un solo
estado.
El AFN de la figura siguiente esta definido por Q=(q0,q1,q2,q3,q4),

={a , b }

, s=q0, F={q2,q3,q4} y i contiene las transiciones siguientes:


I(q0,a)={q1,q4}, i(q1,a)={q1}, i(q4,b)={q4}, i(q0,b)={q3}, i(q1,b)={q2}.
Resumiendo, el AFN y todos sus elementos se muestran en la siguiente tabla
por lo que podemos afirmar que esta table representa completamente al
automata.
i
a
b
q0
{q1,q4}
{q3}
q1
q2

{q1}

{q2}

q3

q4

{q4}

a
q0
b

q1 b

q2

a
q0
q0

2.4. Expresiones regulares


Podemos simplificar la especificacin de un lenguaje regular utilizando
nomenclatura abreviada, llamada expresin regular, de tal manera que el
lenguaje unitario {a}, se denota simplemente como a.
Las operaciones de lenguajes regulares se denotan como: a U b, en vez de
{a,b}; ab, en vez de {ab}; a* en vez de {a}* y a+ en vez de {a}+. El objetivo de
esto es facilitar la lectura de los lenguajes regulares.

Entonces podemos definir recursivamente lo que son las expresiones regulares


:

es un lenguaje regular.

a es una expresin regular para toda a .

Si r y s son dos expresiones regulares, entonces r U s, r * s y r* son


expresiones regulares.
Ningun otra secuencia de simbolos es una expresin regular.

Ejemplo 1

La expresin regular a*b U c representa a

L=( { a }|n 0 { b } ) U {c }
n

Teoremas sobre expresiones regulares


Sean r,s y t expresiones regulares sobre un alfabeto, entonces:
1. r U s= sUr
2. rU = Ur=r
3. rUr=r
4. (rUs)Ut=rU(sUt)
5. r=r=r
6. r = r=
7. (rs)t=r(st)
8. r(sUt)=rsUrt
9. (rUs)t=rtUst
2.7.Propiedadesdelenguajesregulares
2.8.Propiedadesdecierre

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

También podría gustarte