def _kleene(self, args): # Verificamos que tenemos todos los parametros necesarios if (len(args) < 4): print "El uso del programa debe ser: %s %s <archivo de datos> <archivo de resultado>" % (args[0], args[1]) sys.exit() dataFile = args[2] resultFile = args[3] # Instanciamos un AF af = AF() # Cargamos el AF desde un archivo self._loadFromFile(af, dataFile) # Ejecutamos el proceso en el AFD af.kleene() # Escribimos el AFD en un archivo self._writeOnFile(af, resultFile) print "AF transformado a AF* correctamente. Resultado guardado en: %s" % (resultFile)