Operaciones de Lenguajes

Atomata finito
Un autmata finito o mquina de estado finito es un modelo computacional que realiza cmputos en forma automtica sobre una entrada para producir una salida.

Definicion de Operadores de Lenguaje:

Los lenguajes son conjuntos de palabras, por lo

tanto se pueden realizar operaciones entre ellos como ser unin, interseccin, producto y diferencia. Son operaciones que pueden utilizar para construir lenguajes desde otros lenguajes

Dado que los lenguajes son conjuntos, podemos utilizar las operaciones de conjuntos usuales y nuevas operaciones definidas especialmente para cadenas : Unin, L1L2 Interseccion, L1L2 Complemento, Lc Conjunto Diferencia, L1-L2 Lenguajes especiales para cadenas: Concatenacion, L1L2 or L1L2 Clausura de Kleene o estrella de Kleene, L*

Unin
La unin de dos conjuntos es una operacin que resulta en otro conjunto, cuyos elementos son los elementos de los conjuntos iniciales
La union de dos lenguajes L1 y L2 denidos sobre el mismo alfabeto es otro lenguaje, tambien denido sobre ese alfabeto, que contiene todas las palabras de L1 y todas las de L2. L = L1 L2 = {x/x L1 x L2}

 La unin de dos lenguajes regulares es otro lenguaje regular. Se utiliza la

operacin de unin de conjuntos; as, para el alfabeto S ={x,y} si L1 = {x,xy} y L2 = {yz,yy} entonces su unin ser L1 L2 = {x,xy,yz,yy }.

Para modificar los diagramas de transiciones deberemos conseguir que se vaya a una u otra de las estructuras originales, pero sin mezclarlas (si se mezclan, se admitiran cadenas que no pertenecen al lenguaje). Para ello cogeremos los diagramas originales de los dos lenguajes. Se dibuja un estado nuevo:
Ser el nuevo estado inicial Ser de aceptacin si alguno de los estados iniciales de los diagramas

originales lo era Por cada uno de los arcos que hay desde los estados iniciales originales hacia otros (puede ser el mismo), se dibuja desde el nuevo estado inicial un arco hacia el estado destino del arco correspondiente en el diagrama original y se etiqueta con el mismo smbolo A continuacin se elimina la caracterstica de inicio de los estados iniciales originales.

Interseccin
la interseccin de dos (o ms) conjuntos es una operacin que resulta en otro conjunto que contiene los elementos comunes a los conjuntos de partida.

La interseccin de varios lenguajes regulares es otro lenguaje regular. Se utiliza la operacin de interseccin de conjuntos; as, para el alfabeto S ={x,y} si L1 = {x,xy,yy}, L2 = {yz,yy} y L3 = {y,yy} entonces su interseccin ser L1 L2 L3 = {yy}.
Para disear el autmata que reconoce este lenguaje, vamos a considerar los autmatas finitos L(Mn). El nuevo autmata estar definido por la quintupla (S', S' ,d ', i', F'), donde:
S' ser el producto cartesiano de todos los conjuntos de estados

originales S' = S1 x S2 x S3 x...x Sn.El alfabeto tiene que ser el mismo para todos los autmatas. S' = S . La transicin desde el estado p=(p1,p2,p3,...,p n) al estado q=(q1,q2,q3,...,qn)de S' (todas las transiciones posibles), para un smbolo del alfabeto, si y solo si existe la transicin desde pi a qi para todo i e n. El estado inicial ser aquel que est formado por los estados iniciales originales: i' = ( i1, i2, i3,..., in). Los estados de aceptacin sern aquellos que estn formados por estados de aceptacin originales. F' = (F1,F2,F3,..., Fn).

Complemento
El complemento o el conjunto complementario de un conjunto dado es otro conjunto que contiene todos los elementos que no estn en el conjunto original. Para poder definirlo es necesarario especificar qu tipo de elementos se estn utilizando, o de otro modo, cul es el conjunto universal.

Complemento
L= Lc =*- L1 es regular, porque podemos construir, dado un AFD completo M1 que acepta L1 , un AFD M que acepta L simplemente `invertiendo' sus estados finales, es decir, los estados no finales de M1 sern los estados finales de M y los finales se convierten en los no finales, entonces, si M1 =(,Q, ,q0,F) construimos M= (,Q, ,q0,Q-F).

Sean dos lenguajes L1 y L2 denidos sobre el mismo alfabeto , la concatenacin de ambos lenguajes estar formada por todas las palabras obtenidas al concatenar una palabra cualquiera de L1 con otra de L2. L = L1L2 = {xy/x L1 y L2} Propiedades:
Operacin cerrada. El lenguaje resultante esta denido sobre el

Concatenacion

mismo alfabeto que L1 y L2. Asociativa. (L1 L2)L3 = L1 (L2 L3) Elemento Neutro (L = {}). LL = LL = L No es conmutativa.

Concatenacion
La concatenacin de dos lenguajes regulares es otro lenguaje regular. Se concatenan una cadena del primer lenguaje y una cadena del segundo. Con L1 y L2 anteriores la concatenacin (que se denota ) ser L1 L2 ={xyx,xyy,xyyz,xyyy}. La concatenacin no es conmutativa (L1 L2 L2 L1 ). Cogemos los diagramas originales de los dos lenguajes: Se dibuja el diagrama original de L1 desde cada estado de aceptacin del diagrama de L1 se dibuja un arco hacia cada estado de L2 que sea el destino de un arco del estado inicial de L2 y se rotula con el mismo smbolo Dejar que los estados de aceptacin de L1 lo sean si el estado inicial de L2 tambin lo es.

Estrella o clausura de kleene

La clausura de un lenguaje (L) es el resultadode unir todas las potencias de dicho lenguaje, es decir,

Estrella o clausura de Kleene

Para disear el autmata finito que

admite el lenguaje concatenacin aplicamos: Se aade al diagrama un nuevo estado que va a ser el de inicio y lo marcaremos como de aceptacin Por cada uno de los arcos que hay desde el estado inicial original hacia otros (puede ser el mismo), se dibuja desde el nuevo estado inicial un arco hacia el estado destino del arco correspondiente en el diagrama original y se etiqueta con el mismo smbolo