Tarea 5

Lenguajes regulares
En Lingstica, Matemticas e Informtica y en la jerarqua de Chomsky se refiere a los
lenguajes de tipo 3, aquellos que pueden representarse mediante gramticas
regulares, autmatas finitos o expresiones regulares.
Son los lenguajes formales ms simples, con los mecanismos de representacin y
reconocimiento ms estudiados. Su aplicacin prctica en la teora y construccin
de intrpretes y compiladores de lenguajes de programacin o de especificacin o formato
de informacin, especialmente como microcomponentes del analizador lexicogrfico que
detecta los tkenes como constantes numricas, cadenas de texto, operadores, palabras
reservadas (keywords), separadores, etc. Pero tambin se puede apreciar su uso en mquinas
expendedoras, telfonos pblicos, calculadoras y otros artefactos electromecnicos.

Autmatas finitos
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. Su funcionamiento se basa en
una funcin de transicin, 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 autmata se desplaza de un estado a otro, para finalmente detenerse en un estado
final o de aceptacin, que representa la salida.

Autmatas deterministas
Autmata finito determinista. Es el autmata finito que tiene todas sus transiciones no vacas
y que por cada smbolo desde un estado de origen se llega a un nico estado destino.
Los AFD son definiciones ideales dentro de los lenguajes regulares por su cercana formal
hacia la creacin de mquinas de reconocimiento fundamentalmente lexicogrficas, en tanto
sus transiciones son nicas por smbolo, pudiendo a la hora de su implementacin
en software, matemtica y fsica realizarse con mayor facilidad.

Un autmata nito determinista consta de:

1. Un conjunto nito de estados, a menudo designado como Q. 2. Un conjunto nito de
smbolos de entrada, a menudo designado como .
3. Una funcin de transicin que toma como argumentos un estado y un smbolo de entrada
y devuelve un estado. La funcin de transicin se designa habitualmente como . En
nuestra representacin grca informal del autmata, se ha representa mediante arcos
entre los estados y las etiquetas sobre los arcos. Si q es un estado y a es un smbolo de
entrada, entonces (q,a) es el estado p tal que existe un arco.

Lema de Arden
Conocido como lema de Arden-
Lema de Arden.
Si A y B son lenguajes sobre un alfabeto
y A, entonces la ecuacin X= AXB tiene una nica solucin dada por X=AB.

Teorema de Kleene.
Un lenguaje es regular si y solo si es aceptado por un autmata finito (AFD o AFN o
AFN-
).
Para demostrar el teorema consideraremos las dos direcciones por separado.
Primero demostraremos que para un lenguaje regular
L
Dado existe un AFN- tal que L (M) =L demostraremos que, a partir de un AFD
M
, se puede encontrar una expresin regular R
Tal que
L (M) =R
En ambas direcciones las demostraciones son constructivas.
Bibliografa

http://www.tiposde.org/lengua-y-literatura/1095-tipos-de-gramatica/

http://www.monografias.com/trabajos62/teoria-gramatica-lenguaje-automata/teoria-gramatica-
lenguaje-automata2.shtml#ixzz4sZJWZ7TBhttps://www.ecured.cu/Lenguaje_regular

https://www.ecured.cu/Lenguaje_regular

https://www.ecured.cu/Aut%C3%B3mata_finito_determinista

http://www.um.es/documents/118351/1884002/TFG_NAVARRO+FERNANDEZ.pdf/43caac70-
259e-4435-9007-973be9593a19

https://eva.fing.edu.uy/pluginfile.php/84523/mod_resource/content/1/arden.pdf

https://es.scribd.com/document/333430137/Teorema-de-Kleene-Y-Lema-de-Arden