add dfa-to-dot

1 files changed, 13 insertions, 0 deletions

diff --git a/bin/dfa-to-dot.py b/bin/dfa-to-dot.py
new file mode 100755
index 0000000..837f833
--- /dev/null
+++ b/bin/dfa-to-dot.py
@@ -0,0 +1,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:])