Andres Sebastian Olarte Bernal

1.012.426.793
Fase1.Actividad1
 Lenguaje es regular si y solo si se cumple cualquiera de las siguientes
proposiciones:
Tiene al menos una gramtica regular G que lo produce.
Puede ser reconocido a travs de un autmata finito A.
Existe una expresin regular que representa a todas las cadenas de L.
No todos los lenguajes son regulares, por ejemplo, L = {0 n1 n |n 1}.
Los lenguajes ms sencillos que se considerarn son los lenguajes regulares,
es decir, los que se pueden generar a partir de los lenguajes bsicos, con la
aplicacin de las operaciones de unin, concatenacin y * de Kleene un nmero
finito de veces.
 Los lenguajes regulares sobre un alfabeto se obtienen con unas reglas muy
precisas
La clase de lenguajes conocidos como lenguajes regulares tienen al menos 4
descripciones: DFA, NFA, -NFA y RE
Propiedades de cerradura: se pueden construir automatas a partir de componentes
usando operaciones, v.g., dado un lenguaje L y M construir un automata para L
M.
El lema de Pumping: cualquier lenguaje regular satisface el pumping lemma, el cual
se puede usar para probar que un lenguaje no es regular.
Propiedades de decision: analisis computacional de automatas, v.g., probar si dos
automatas son equivalentes
 La expresin regular (A|B|...|Z)|_(A|B|...|Z|a|b|...|z|_)*.
Dado el alfabeto = {a, b},
(U a)*(a U b)*(ba)*
es una expresion regular que representa al lenguaje
({} U {a})* {a, b}* {ba}*.
{w | w termina en bb }
Los multiplos de 2 en binario
(a + b) (aa + bb) b
Dado el alfabeto = {a, b, c},
(a ( bU)a(bc)
es una expresion regular que representa al lenguaje
({a} U {b}) {a} {bc}.
 Las expresiones regulares se construyen utilizando los operadores union
en donde toda expression regular tiene un automata finito.
Es una secuencia de caracteres que forma un patrn de bsqueda.
Las expresiones regulares se usan en compilacion (por ejemplo, en los
analizadores lexicos),
 Cada expresion regular representa un lenguaje
Usamos + para la union (y o nada para la concatenacion)
La expresion regular a representa el lenguaje {a}
Sea un alfabeto. Las expresiones regulares son las siguientes:
1 a (donde a )
2
3
4 r1 + r2 (donde r1 y r2 son expresiones regulares)
5 r1 r2 (donde r1 y r2 son expresiones regulares)
6r

(donde r es una expresion regular).
 Son expresiones regulares:
(b + a) ba
aa(a + b)

(ba + )
b
No son expresiones regulares:
(b + a+)
ab + +
Lenguaje formado por las cadenas que terminan en 01: {0,1}*.{01}= ({0}{1})*.{01} Expresin regular: (0+1)*01 2.
Dadas dos expresiones regulares r y s se cumplen entre otras:
r+s=s+r
r+=r
r+r=r
r =r=r
r(sr)
= (rs)

r
 (AF) o mquina de estado finito
Es un modelo computacional que realiza cmputos en forma automtica sobre una
entrada para producir una salida.
Es un vector de tres elementos M = (I,S,, F)
 Se pueden representar mediante: Diagramas de transicin o Tablas de transicin
Est conformado por un alfabeto, un conjunto de estados finitos, una funcin de
transicin, un estado inicial y un conjunto de estados finales
Los Autmatas Finitos son de dos Tipos:
Deterministas: - cada combinacin (estado, smbolo de entrada) produce un solo
(estado).
No Deterministas: - cada combinacin (estado, smbolo de entrada) produce
varios (estado1, estado 2, ..., estado i).
son posibles transiciones con
 El DFA acepta cadenas que tienen 01 en alguna parte
de la cadena
DFA es el conjunto de cadenas que

acepta {w|w tiene la forma x01y para algunas

cadenas x y que consisten solo de 0s y 1s }.
Sea el AFD1 = ({a,b}, {p,q,r}, f, p, {q}) donde f est
definida por:
f(p,a) = q f(p,b) = r
f(q,a) = q f(q,b) = r
f(r,a) = r f(r,b) = r
 Es un modelo computacional que produce un solo estado.
Se definen mediante una quntupla
(, Q, f, q0, F), donde:
: alfabeto de entrada
Q: conjunto de estados, es conjunto finito no
vaco, realmente
un alfabeto para disDnguir a los estados
f: Qx Q, funcinde transicin
q0Q, estado inicial
FQ: conjunto de estados finales o de acepta
 Un conjunto finito de smbolos de entrada, a menudo designado como (sigma).
Cuando un AF transita desde q0 a un estado final en varios movimientos, se ha producido el
RECONOCIMIENTO o ACEPTACIN de la cadena de entrada
Configuracin inicial: (q0, t) q0: estado inicial t: cadena de entrada a reconocer por el
AFD, t *
Cuando un AF no es capaz de alcanzar un estado final, se dice que el AF NO RECONOCE
la cadena de entrada y que sta NO PERTENECE al lenguaje reconocido por el AF
Configuracin final: (qi ,) qi : estado final la cadena de entrada ha sido leda
completamente
Lema: p E q p En q, n,
p, q Q
Lema: p En q p Ek q, n
> k
Lema: p En+1 q p En q and
f(p,a) En f(q,a) a
 Una lmpara puede estar encendida o apagada.
A = (Q, , , q0, F), donde:
Q = {0,1}
= {p}
(0,p) = 1, (1,p) = 0
q0 = 0
F = {}
El AFD1 = ({0,1}, {p,q,r}, f, p, {q}), donde f
est definida por:
f(p,0)=q f(p,1) =r
f(q,0)=q f(q,1) =r
f(r,0)=r f(r,1) =r
tabla de transicin: diagrama de estados
 Es un autmata finito que a diferencia de los autmatas finitos deterministas ,
posee al menos un estado y existe ms de una transicin .
Se define a partir de f, una funcinde transicin f,
que acta sobre palabras de *;
f es la funcinde transicin sobre palabras.
El conjunto de todas las palabras aceptadas por un AFND es el lenguaje aceptado
por ese AFND.
 Calculo de T*: Sea AFND = (,Q, f, q0, F, T). Para calcular f es necesario
extender las transiciones con una a *, es decir calcular T* del AFND= (,Q,
f,q0,F, T ) Para ello existe el mtodo formal de las matrices booleanas, o el
mtodo de la matriz de pares (estado, estado).
Al ser un AFND, desde qo puede haber
ms de un caminopara lapalabra x , y
x es aceptada slo con que uno de los caminos lleve
a un estado final.
 Donde (q0,01)=((q0,0),1)=({q0,q1},1)={q0,q1}.
 http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-
formales/material-de-clase-1/tema-3-automatas-finitos
http://automatas-finitos.blogspot.com.co/
http://webdiis.unizar.es/asignaturas/TC/wp/wp-
content/uploads/2012/09/130926ExpresionesI1.pdf
https://ccc.inaoep.mx/~emorales/Cursos/Automatas/PropsLengRegulares.pdf
https://prezi.com/qeyublpa_cuh/lenguajes-regulares-y-lenguajes-no-regulares/
https://bibliotecavirtual.unad.edu.co/login?url=http://site.ebrary.com/lib/unadsp/home.action?
force=1
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6