diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/c2b.tfst')
| -rw-r--r-- | gfsm/gfsm/src/programs/c2b.tfst | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/gfsm/gfsm/src/programs/c2b.tfst b/gfsm/gfsm/src/programs/c2b.tfst deleted file mode 100644 index b16d00e..0000000 --- a/gfsm/gfsm/src/programs/c2b.tfst +++ /dev/null @@ -1,22 +0,0 @@ -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 |