Ya esta se programo que el alfabeto y el axioma se cargan dinamicamente al sistema desde el archivo XML