bin/dfa-to-dot.py


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/usr/bin/env python3

from dfatool.automata import PTA
import sys


def main(filename):
    pta = PTA.from_file(filename)
    print(pta.to_dot())


if __name__ == "__main__":
    main(*sys.argv[1:])