App que genera autómatas dada una expresión regular, valida cadenas y reduce autómatas. Versión inicial.
