Cerradura de Kleene

La cerradura de Kleene o cerradura estrella, ella est definida como la unin de 0 o ms potencias de un lenguaje sobre un alfabeto , ms precisamente, la cerradura de Kleene es realizar 0 o ms concatenaciones del lenguaje con l mismo, y se denota , lo que resulta en un lenguaje que contiene todas las cadenas que son posibles de formar sobre . Sea un alfabeto, es la concatenacin de 0 o ms smbolos de , que son las cadenas que conforman el lenguaje universal que tambin se denota , de aqu que todo lenguaje sobre es un sublenguaje de . La diferencia entre lenguajes sigue las mismas reglas que para la diferencia en conjuntos, es decir, si y son lenguajes sobre , entonces , que resulta en un lenguaje que contiene todas las cadenas de , que no estn en . Al igual que con conjuntos se puede definir el complento de un lenguaje. Sea un lenguaje sobre su complemento es