FASE 1: ACTIVIDAD INDIVIDUAL

WALTER DAZ
Cd. 88249034

TUTOR
CESAR JIMENEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
2017
 EXPRESIN REGULAR
Definicin
Una expresin Regular (ER) es una forma de describir lenguajes y
las cadenas que queremos aceptar.
.
Sea un alfabeto, el conjunto ER de las expresiones regulares
sobre el alfabeto.
 EXPRESIN REGULAR
Caractersticas
Las expresiones regulares son un metalenguaje para describir los
lenguajes regulares.
Las expresiones regulares brindan algo que los autmatas no: una
manera de declarar las cadenas que se quieren aceptar.
Las expresiones regulares son usadas para describir patrones de texto
que son sencillos pero tiles.
 EXPRESIN REGULAR
Propiedades
Las expresiones regulares sobre el alfabeto se rigen mediante estas
reglas.
1. ()
2. * cierre
3. concatenacin
4. + unin
 EXPRESIN REGULAR
Ejemplos
Si = {, , } Una operacin valida puede ser: (a +b) por lo cual el
lenguaje es: = , , | = ( + ) y las cadenas que
reconoce son: (a), (b), (ab), (ba)
Si = {, } una operacin vlida poder ser: 10* + 1 , por lo cual el
lenguaje es: = 0,1 | = 10 + 1 , si =10* y =1 hay que
anotar que primero se desarrolla =10* porque la prioridad de los
operadores dice que van de mayor a menor ( +).
 LENGUAJE REGULAR
Definicin
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
 LENGUAJE REGULAR
Caractersticas
Las condiciones que definen estos lenguajes permiten construir
expresiones en la notacin de conjuntos que representan lenguajes
regulares.
Los lenguajes regulares se pueden representar de tres formas:
expresiones regulares (ERs), autmatas nitos determinsticos (AFDs)
y no determinsticos (AFNDs), algunas de estas formas son buenos
para describir lenguajes, y otras para implementar reconocedores
ecientes.
 LENGUAJE REGULAR
Propiedades de las operaciones con LR
El complemento {\displaystyle {\bar {''L''}}} de L
La clausura o estrella de Kleene L* de L
El homomorfismo (L) de L
La concatenacin L'P de L y P
La unin L P de L y P
La interseccin L P de L y P
La diferencia L \ P de L y P
El reverso LR de L
 LENGUAJE REGULAR
Ejemplos

En este ejemplo se puede apreciar que la regularidad de este lenguaje

es ac , cualquier nmero de veces: 1 =
, , , ,
 AUTMATA FINITO
Definicin
Un autmata finito (AF) o mquina de estado finito es un modelo
computacional que realiza cmputos en forma automtica sobre una
entrada para producir una salida. Este modelo est conformado por un
alfabeto, un conjunto de estados finito, una funcin de transicin, un
estado inicial y un conjunto de estados finales.
 AUTMATA FINITO
Caractersticas
Es una quntupla donde:
es un conjunto finito de estados;
es un alfabeto finito;
Tiene un estado inicial;
El cambio de un estado a otro es una funcin de transicin;
Tiene un conjunto de estados finales o de aceptacin.
 AUTMATA FINITO
Ejemplos
Se representa en un grafo as:
 BIBLIOGRAFIA
Quiroga, E. (2011) Modulo tcnicas de Autmatas y lenguajes
formales. Bogot: UNAD.

Brena, R.(2003) Autmatas y lenguajes un enfoque de diseo.

Recuperado de:
http://fcbi.unillanos.edu.co/proyectos/Facultad/php/tutoriales/upload_tu
tos/Automatas%20Y%20Lenguajes.pdf