5 files changed, 132 insertions, 0 deletions
diff --git a/test/automata/a b/test/automata/a
new file mode 100644
index 0000000..e1f3e91
--- /dev/null
+++ b/test/automata/a
@@ -0,0 +1,14 @@
+#
+# tests just "a"
+#
+t 0 1 a
+f 1
+-------
+a
+=>
+a
+a
+=>
+=>
+b
+=>
diff --git a/test/automata/aba b/test/automata/aba
new file mode 100644
index 0000000..ee9a873
--- /dev/null
+++ b/test/automata/aba
@@ -0,0 +1,26 @@
+#
+# Tests a[ab]*
+#
+t 0 1 a
+t 1 1 a
+t 1 1 b
+f 1
+-------
+a
+=>
+a
+a
+=>
+a
+b
+a
+b
+a
+b
+=>
+b
+=>
+a
+c
+=>
+=>
diff --git a/test/automata/abaa b/test/automata/abaa
new file mode 100644
index 0000000..7862ba2
--- /dev/null
+++ b/test/automata/abaa
@@ -0,0 +1,43 @@
+#
+# Tests: a[ab]*a{2,3}
+#
+t 0 1 a
+t 1 1 a
+t 1 1 b
+c 1 2 2 3 a
+f 2
+-------
+a
+a
+a
+=>
+# Pass
+a
+b
+a
+a
+=>
+# Pass
+a
+a
+a
+a
+a
+a
+a
+a
+a
+=>
+# Pass
+a
+b
+a
+=>
+# Fail
+a
+b
+a
+a
+b
+=>
+# Fail
diff --git a/test/automata/abba b/test/automata/abba
new file mode 100644
index 0000000..86c08f1
--- /dev/null
+++ b/test/automata/abba
@@ -0,0 +1,30 @@
+#
+# Tests ab*a with an eliminated epsilon transition
+#
+t 0 1 a
+t 1 2 b
+e 1 2
+t 2 2 b
+t 2 3 a
+f 3
+-------
+a
+a
+=>
+# Pass
+a
+b
+b
+a
+=>
+# Pass
+a
+b
+=>
+# Fail
+a
+b
+a
+b
+=>
+# Fail
diff --git a/test/automata/po b/test/automata/po
new file mode 100644
index 0000000..592b8c9
--- /dev/null
+++ b/test/automata/po
@@ -0,0 +1,19 @@
+#
+# purchaseOrder
+#
+t 0 1 shipTo
+t 1 2 billTo
+t 2 3 comment
+t 3 4 items
+e 2 3
+f 4
+-------
+shipTo
+billTo
+comment
+items
+=>
+shipTo
+billTo
+items
+=>