Exemplos de AFDReader em Python

Exemplo n.º 1

Arquivo: visualizer.py Projeto: svilaa/PyFDA

#!/usr/bin/python

# Author: Sergi Vila Almenara

import sys
from automats import AFD, AFDReader

if __name__ == '__main__':
	if len(sys.argv) is not 2:
		print 'Usage:', sys.argv[0], '<AFD file>'
		sys.exit(-1)
	r = AFDReader(sys.argv[1])
	automat = r.get_AFD()
	automat.show()

Exemplo n.º 2

Arquivo: union.py Projeto: svilaa/PyFDA

#!/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])