diff --git a/examples2/automaton/DFA2.txt b/examples2/automaton/DFA2.txt
new file mode 100644
index 0000000000000000000000000000000000000000..5c490f671e75269215f0d34b5242814f6dfb4aa8
--- /dev/null
+++ b/examples2/automaton/DFA2.txt
@@ -0,0 +1,22 @@
+DFA a b c d
+{} {} {} {} {}
+{0} {1, 2} {} {} {}
+{2} {15} {} {} {}
+>{3} {10} {9} {0} {12}
+<{4} {} {11} {} {}
+<{5} {} {6} {5} {}
+<{6} {} {} {5} {}
+<{7} {} {} {} {12}
+{8} {10} {17} {0} {12}
+{9} {4} {} {} {}
+{10} {} {2} {} {}
+{11} {} {8} {} {}
+{12} {} {7} {} {}
+{13} {} {16} {} {}
+{15} {} {} {} {13}
+<{16} {} {} {} {}
+<{17} {4} {} {} {}
+{1, 2} {14, 15} {} {} {}
+<{7, 16} {} {} {} {12}
+{12, 13} {} {7, 16} {} {}
+{14, 15} {} {} {5} {12, 13}
diff --git a/examples2/automaton/NFA.txt b/examples2/automaton/NFA.txt
new file mode 100644
index 0000000000000000000000000000000000000000..aac299b0c3acda9c4e8e4af885f315a3c85c2210
--- /dev/null
+++ b/examples2/automaton/NFA.txt
@@ -0,0 +1,19 @@
+NFA a b c d
+0 1 - - -
+1 14 - - -
+10 - 2 - -
+11 - 8 - -
+12 - 7 - -
+13 - 16 - -
+14 - - 5 12
+15 - - - 13
+<16 - - - -
+<17 4 - - -
+2 15 - - -
+>3 10 9 0 12
+<4 - 11 - -
+<5 - 6 5 -
+<6 - - 5 -
+<7 - - - 12
+8 10 17 0 12
+9 4 - - -