diff options
Diffstat (limited to 'test.txt')
| -rw-r--r-- | test.txt | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test.txt b/test.txt new file mode 100644 index 0000000..60b688a --- /dev/null +++ b/test.txt @@ -0,0 +1,41 @@ +q0 _ q1 _ > + +q1 a qa A > +q1 b qb B > +q1 A q1 A > +q1 B q1 B > +q1 _ q2 _ < + +q2 A q2 a < +q2 B q2 b < +q2 _ HA _ - + +qa a qa a > +qa b qa b > +qa _ qa' _ > + +qb a qb a > +qb b qb b > +qb _ qb' _ > + +qa' a qa' a > +qa' b qa' b > +qa' _ q3 a < + +qb' a qb' a > +qb' b qb' b > +qb' _ q3 b < + +q3 a q3 a < +q3 b q3 b < +q3 _ q3' _ < + +q3' a q3' a < +q3' b q3' b < +q3' A q3' A < +q3' B q3' B < +q3' _ q1 _ > + +q0 + +_aba |