diff --git a/examples2/automaton/MISENFA.txt b/examples2/automaton/MISENFA.txt
new file mode 100644
index 0000000000000000000000000000000000000000..7a4285be0a5a20633b6dd05d69e0fd711dfc37bf
--- /dev/null
+++ b/examples2/automaton/MISENFA.txt
@@ -0,0 +1,19 @@
+MISENFA a b c d #E
+0 1 - - - -
+1 14 - - - 2
+2 15 - - - 2
+>3 10 9 0 12 16
+<4 - 11 - - -
+><5 - 6 5 - 5|6
+<6 - - 5 - 0
+<7 - - - 12 -
+8 10 17 0 12 -
+9 4 - - - -
+10 - 2 - - 13|18|1
+11 - 8 - - -
+12 - 7 - - -
+13 - 16 - - 12
+14 - - 5 12 -
+15 - - - 13 6
+<16 - - - - 7|3
+<17 4 - - - -
diff --git a/examples2/automaton/MISNFA.txt b/examples2/automaton/MISNFA.txt
new file mode 100644
index 0000000000000000000000000000000000000000..6773ea876bcd3056250323c1fa987a68edef4737
--- /dev/null
+++ b/examples2/automaton/MISNFA.txt
@@ -0,0 +1,19 @@
+MISNFA a b c d
+0 1 - - -
+1 14 - - -
+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 - -
+14 - - 5 12
+15 - - - 13
+<16 - - - -
+<17 4 - - -