#!/usr/bin/python # Author: Sergi Vila Almenara import sys from automats import AFD, AFDReader, AFDWriter, AFDNameReducer if __name__ == '__main__': if len(sys.argv) is not 3: print 'Usage:', sys.argv[0], '<AFD file> <name output file>' sys.exit(-1) r = AFDReader(sys.argv[1]) automat = r.get_AFD() nr = AFDNameReducer(automat) reduced_automat = nr.get_name_reduction() w = AFDWriter(reduced_automat) w.write(sys.argv[2])
#!/usr/bin/python # Author: Sergi Vila Almenara import sys from automats import AFD, AFDReader, AFDWriter if __name__ == "__main__": if len(sys.argv) is not 4: print "Usage:", sys.argv[0], "<AFD file> <AFD file> <name output file>" sys.exit(-1) r1 = AFDReader(sys.argv[1]) r2 = AFDReader(sys.argv[2]) automat1 = r1.get_AFD() automat2 = r2.get_AFD() union = automat1.get_union(automat2) w = AFDWriter(union) w.write(sys.argv[3])