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