def _complemento(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 metodo que transforma el AFND a AFD
af = af.toAFD()
# Complementamos el AFD
af.complement()
# Escribimos el AFD en un archivo
self._writeOnFile(af, resultFile)
print "Paso a AFD complementado correctamente, el AFD de resultado esta en: %s" % (resultFile)
def _toAFD(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> [minimo]" % (
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 metodo que transforma el AFND a AFD
af = af.toAFD()
# Revisamos si el parametro "minimo" fue ingresado
minimize = False
if (len(args) > 4 and args[4] == "minimo"):
minimize = True
# En caso de ser pedido minimizamos el AFD
if minimize:
af.minimize()
# Escribimos el AFD en un archivo
self._writeOnFile(af, resultFile)
print "Paso a AFD terminado correctamente."
def _toAFD(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> [minimo]" % (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 metodo que transforma el AFND a AFD
af = af.toAFD()
# Revisamos si el parametro "minimo" fue ingresado
minimize = False
if(len(args) > 4 and args[4] == "minimo"):
minimize = True
# En caso de ser pedido minimizamos el AFD
if minimize:
af.minimize()
# Escribimos el AFD en un archivo
self._writeOnFile(af, resultFile)
print "Paso a AFD %sterminado correctamente, el AFD de resultado esta en: %s" % ("minimo " if minimize else "", resultFile)