Programa de Lenguajes y Autómatas 1 que genera cadenas con un formato de expresión regular, también realiza la comprobación de uno o mas textos.