Actividad Individual

sobre lenguajes y
expresiones regulares

Juan david español

C.C 1073515786
Grupo 301405_15
Tutor Luis Ernesto Bonilla
Lenguaje Regular

• Definición
Estos son aquellos lenguajes en los que se
considera sencillo generar lenguajes básicos
mediante la aplicación de operaciones
básicas como las operaciones de unión,
concatenación y * de Kleene un número
finito de veces.
En Informática y en la jerarquía de
Chomsky se refiere a los lenguajes de tipo 3,
que son aquellos que pueden representarse
mediante gramáticas regulares, autómatas
finitos o expresiones regulares.
 Características

Se dice que un lenguaje es regular si y sólo si se cumple cualquiera de

las siguientes proposiciones:
• Tiene al menos una gramática regular G que lo produce.
• Puede ser reconocido por un autómata finito A.
• Existe una expresión regular Er que representa a todas las cadenas
de L.
Ejemplo

• En un acuario de Colombia se entrenan las capacidades

intelectuales de los delfines en cautiverio y tiene especial
importancia los resultados que tiene uno de los ejemplares quien ha
aprendido a reconocer cantidades pares a partir de imágenes de
peces, llegando a distinguir cuando hay un número par o no de
peces en la imagen. Muestre que las imágenes de cantidad de peces
pares es un lenguaje regular que puede percibir el delfín.
Se define a cada pez de las imágenes con la letra p minúscula y se ve
que para las imágenes pares puede definirse las siguientes
producciones de una gramática regular:
• I flecha pp o pp I.gif
• Por ende, se trata de un LR.
Expresión regular

• Definición
• Las expresiones regulares son una serie de caracteres que forman
un patrón, normalmente representativo de otro grupo de caracteres
mayor, de tal forma que podemos comparar el patrón con otro
conjunto de caracteres para ver las coincidencias.
Características

• Puede ser descrito mediante una expresión regular (expresar de forma compacta
cómo son todas las cadenas de símbolos que le pertenecen).
• Puede ser generado mediante una gramática regular (obtener todas las cadenas
de símbolos que le pertenecen).
• Puede ser reconocido mediante un autómata finito (saber si una cadena de
símbolos pertenece a él o no)
• Suelen llevar un patrón lógico
• Deben llevar un secuencia influyendo de la anterior.
• Se puede generalizar una cadena de secuencia
• Pueden llevar operaciones lógicas o matemáticas
Ejemplo

• Tenemos que desmenuzar y decirle al ordenador que haga lo

mismo que ha hecho nuestro cerebro. Le tenemos que decir que
solo queremos las direcciones de correos electrónicos. Como tu
cerebro es muy bueno encontrando patrones, seguro que te habrás
dado cuenta de cuál es la estructura de un correo electrónico.
 Autómata finito

• Definición:
Es un modelo computacional que realiza cómputos en forma
automática sobre una entrada para producir una salida.
Este modelo está conformado por un alfabeto, un conjunto de
estados y un conjunto de transiciones entre dichos estados. Su
funcionamiento se basa en una función de transición, que recibe a
partir de un estado inicial una cadena de caracteres pertenecientes
al alfabeto (la entrada), y que va leyendo dicha cadena a medida
que el autómata se desplaza de un estado a otro, para finalmente
detenerse en un estado final o de aceptación, que representa la
salida.
características

• reconocer lenguaje regulares

• Existes diversas generalizaciones posibles de hacer sobre los
autómatas finitos, para aumentar su uso y expresividad.
• se definen los transductores de estados finitos como autómatas
finitos
• pueden poseer más de un estado inicial
Ejemplo

Aquí un ejemplo claro como lo son las tablas de

verdad en donde al inicio tienen dos valores únicos,
pero que al combinarlos varían sus resultados
haciéndolos finitos en sus posibilidades,
Autómata finito determinista

• Definición
Es aquel que sólo puede estar en un único estado después de leer
cualquier secuencia de entradas. El término «determinista» hace
referencia al hecho de que para cada entrada sólo existe uno y sólo un
estado al que el autómata puede hacer la transición a partir de su
estado actual.
Caracteristicas

• Un Autómata Finito Determinista consta de:

1.Un conjunto finito de estados, a menudo designado como Q.
2.Un conjunto finito de símbolos de entrada, a menudo designado
como ∑ (sigma).
3.Una función de transición que toma como argumentos un estado y
un símbolo de entrada y devuelve un estado. La función de transición
se designa habitualmente como ᵟ o Δ (delta).
4.Un estado inicial, uno de los estados de Q.
5.Un conjunto de estados finales o de aceptación F. El conjunto F es
un subconjunto de Q.
 Ejemplo
• Considere un sistema formado por una lámpara y un interruptor. La lámpara
puede estar encendida o apagada. El sistema sólo puede recibir un estímulo
exterior: pulsar el interruptor. El funcionamiento es habitual: si se pulsa el
interruptor y estaba apagada la lámpara, se pasa al estado de encendido, o si
esta encendida, pasa a pagada. Se desea que la bombilla este inicialmente
apagada. Considere que 0: encendido, 1: apagado y la única entrada posible
(pulsar interruptor) es “p”
A = (Q, Σ, δ, q0, F), donde:
Q = {0,1}
Σ = {p}
δ(0,p) = 1, δ(1,p) = 0
q0 = 0
F = {}
Autómata finito no determinista

• Definición
• Es el autómata finito que tiene transiciones vacías o que por
cada símbolo desde un estado de origen se llega a más de un estado
destino.
Características

• puede tener la posibilidad de transitar a mas de un estado posible.

• Para algún par de estado entrada, el autómata puede no tener
definido ninguna transición. Lo que significa que podrá realizar
transición alguna.
• Puede realizar transiciones de un estado a otro sin leer símbolo
alguno de la entrada. A este tipo particular de transiciones se las
denomina transiciones-.
Ejemplo

• El ejemplo siguiente muestra un AFND M, con un alfabeto binario que determina si la entrada contiene un
número par de 0s o un número par de 1s. Entonces M = (Q, Σ, T, s0, F) donde:

• Σ = {0, 1},

• Q = {s0, s1, s2, s3, s4},

• E({s0}) = { s0, s1, s3 }

• F = {s1, s3}, y

• La función de transición T puede ser definida por esta tabla de transición: 0 1 ε

M puede ser visto como la unión de dos AFDs: uno con los S0 {} {} {S1, S3}
estados {S1, S2} y el otro con los estados {S3, S4}. S1 {S2} {S1} {}
El lenguaje de M puede ser descrito por el lenguaje regular dado
por la expresión regular: S2 {S1} {S2} {}
S3 {S3} {S4} {}
(1*(03*01*)*)U(0*(10*10*)*)
S4 {S4} {S3} {}
 BIBLIOGRAFIA
PAGINAS WED
https://es.wikipedia.org/wiki/Aut%C3%B3ma
ta_finito_no_determinista
https://drive.google.com/file/d/0B1sez-
QVMBDoSkdPYm9jVVZPUWM/view
http://www.edured.com/
http://www.ia.urjc.es/grupo/docencia/autom
atas_itis/apuntes/capitulo6.pdf