ERICA GIOVANA GONZLEZ SOLANO

C.C: 1,055,273,079
GRUPO:301405-13
Se refiere a los lenguajes de tipo 3; aquellos que pueden
representarse mediante gramticas regulares, autmatas finitos o
expresiones regulares.
CARACTERISTICAS
Se dice que un lenguaje es regular si y solo si se cumple cualquiera de
estas proposiciones.
Tiene al menos una gramtica regular G que lo produce.
Puede ser reconocido por un autmata finito A
Existe una expresin regular Er que representa a todas las cadenas
de L
Expresin que describe un conjunto de cadenas sin numerar sus
elementos.
Una expresin regular es una forma de representar los lenguajes
regulares (finitos o infinitos) y se construye utilizando caracteres
del alfabeto sobre el cual se define el lenguaje.
Las expresiones regulares se construyen utilizando operadores
unin, concatenacin y clausura de Keene. A dems cada
expresin regular tiene un autmata finito asociado.
El objetivo de las expresiones regulares es expresar todos los
posibles lenguajes definidos sobre un alfabeto en base a una
serie de lenguajes primitivos y unos operadores de composicin
Modelo computacional que realiza cmputos en
forma automtica sobre una entrada para producir
una salida.
Esta conformado por un alfabeto, un conjunto de
estados y un conjunto de transiciones que recibe a
partir de un estado inicial, una cadena de
perteneciente al alfabeto u que va leyendo dicha
cadena a medida que el autmata se desplaza de
un estado a otro para finalmente detenerse en un
estado final
DEFINICIN FORMAL
5-Tupla < , , 0, , > donde
Conjunto finito de estado

0


Es una autmata finito que adems es determinista, es
decir que para cada estado en que se encuentre
el autmata, y con cualquier smbolo del alfabeto
ledo, existe a lo mas una transicin posible , .
En un AFD no puede darse ninguno de estos dos
casos:
Que existan dos transiciones del tipo , =
1 , = 2 1 ! = 2
Transiciones de tipo , salvo que sea estado final
 Los autmatas finitos utilizan tablas de transiciones que son
tablas de verdad donde incluyen entradas y salidas y se
pueden representan con diagramas de estados.
Algunas de las entradas incluyen el estado actual y las salidas
incluyen el siguiente estado junto con otras salidas

ENTRADA 1 0
ESTADO
S1 S1 S2

S2 S2 S1
Es aquel que a diferencia de los AFD, posee al menos
un estado , tal que para un smbolo del
alfabeto existe mas de una transicin posible , .
En un AFD puede darse alguno de estos dos casos:
Que existan dos transiciones del tipo , =
1 , = 2 1 ! = 2
Transiciones de tipo , salvo que sea estado final
 Teora de Autmatas y Lenguajes Formales, 3 Ingeniera Tcnica
en Informtica de Sistemas, Universida Rey Juan Carlos,
Recuperado el 28 de Septiembre de 2017 de
http://www.ia.urjc.es/grupo/docencia/automatas_itis/
Autmata finito, EcuRed Conocimiento para todos, Recuperado el
28 de Septiembre de 2017 de
https://www.ecured.cu/Autmata_finito.
Expresiones Regulares, Una forma diferente de expresar un
lenguaje, Universidad de Cantabria, Recuperado el 01 de Octubre
de 2017 de http://ocw.unican.es/ensenanzas-tecnicas/teoria-de-
automatas-y-lenguajes-formales/material-de-clase-nuevo/nuevo/1-
5_Expresiones_regulares.pdf