Resumen de conceptos

Es un conjunto finito no vacío cuyos elementos se llaman símbolos

Es cualquier sucesión o secuencia finitas de elementos del alfabeto

Operaciones

Concatenación

Consiste en colocar una cadena seguida de la otra. No es conmutativa.

Ejemplo:
a=123 b=456

al concatenar
ab=123456

Union

Es el equivalente con el conector O de la lógica proposicional. Es decir que puedes tomar cualquiera de las dos cadenas.

Un lenguaje es un subconjunto que puede ser finito o infinito y se denotan con letras mayusculas

Operaciones

Union

Es el conjunto formado por las cadenas que pertenezcan indistintamente a uno u otro de los dos lenguajes

Potencia

Esta operación se basa en concatenarse consigo mismo n veces

Clausura positiva

Se obtiene uniendo el lenguaje con todas sus potencias posibles, excepto la palabra vacia

Operación estrella

Se obtiene uniendo el lenguaje con todas sus potencias posibles, incluyendo el lenguaje L°

Reflexión

Es el lenguaje que contiene todas las palabras inversas de L