diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/c3b.tfst')
-rw-r--r-- | gfsm/gfsm/src/programs/c3b.tfst | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/c3b.tfst b/gfsm/gfsm/src/programs/c3b.tfst new file mode 100644 index 0000000..4a4133f --- /dev/null +++ b/gfsm/gfsm/src/programs/c3b.tfst @@ -0,0 +1,26 @@ +0 1 <eps1> <eps> +1 +0 2 <eps1> <eps> +2 4 a A +4 1 A <eps> +2 5 a A +5 2 A <eps> +2 6 a A +6 3 A <eps> +0 3 <eps1> <eps> +3 7 b B +7 1 B <eps> +3 8 b B +8 3 B <eps> +3 9 b B +9 2 B <eps> +0 0 <eps2> <eps> +1 1 <eps2> <eps> +2 2 <eps2> <eps> +3 3 <eps2> <eps> +4 4 <eps2> <eps> +5 5 <eps2> <eps> +6 6 <eps2> <eps> +7 7 <eps2> <eps> +8 8 <eps2> <eps> +9 9 <eps2> <eps> |