Lema De Arden

OPERACIONES CON AUTOMATAS FINITOS
CONCATENACIÓN:
La Concatenación o Producto de dos AF, ya sean deterministas o no, en general da como resultado un AF-Lazy tal que reconoce el producto de loslenguajes que aceptan los autómatas operandos.
El mecanismo consiste en colocar transiciones- desde todos los finales del primero al inicial del segundo. Estos estados pasan a ser comunes.

UNIÓN:
LaUnión de dos AF, ya sean deterministas o no, en general da como resultado un AF-Lazy tal que reconoce la unión de los lenguajes que aceptan los autómatas operandos.
El mecanismo consiste en crear unestado inicial nuevo y definir transiciones- desde éste hacia los estados iniciales de los AF de partida.

ESTRELLA DE KLEENE:
La operación Estrella de Kleene de un AF, ya sea determinista ono, en general da como resultado un AF-Lazy tal que reconoce la estrella de
Kleene del lenguaje que acepta el autómata base.
El mecanismo consiste en colocar transiciones- desde todos los finales alinicial y crear un nuevo inicial/final con una transición- al inicial viejo.

ESTRELLA POSITIVA:
La operación Estrella Positiva de un AF, ya sea determinista o no, engeneral da como resultado unAF-Lazy tal que reconoce la estrella positiva del lenguaje que acepta el autómata base.
El mecanismo consiste en colocar transiciones-desde todos los finales al inicial.

INVERSA:
La Inversa deun AF, ya sea determinista o no, en general da como resultado un AF-Lazy tal que reconoce la inversa del lenguaje que acepta el autómata base.
El mecanismo consiste en invertir todas las transicionesdel AF, luego crear un nuevo estado inicial con transiciones- hacia todos los estados finales, éstos pierden tal condición y el estado inicial viejo pasa a ser el único final.

COMPLEMENTO:
Paraobtener el Complemento de un AF, o sea el AF que reconozca el complemento del lenguaje que acepta el autómata base, se requiere que el modelo sea DETERMINISTA y completo.
El mecanismo consiste en...