diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/c3filt.tfst')
-rw-r--r-- | gfsm/gfsm/src/programs/c3filt.tfst | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/gfsm/gfsm/src/programs/c3filt.tfst b/gfsm/gfsm/src/programs/c3filt.tfst deleted file mode 100644 index 34cc982..0000000 --- a/gfsm/gfsm/src/programs/c3filt.tfst +++ /dev/null @@ -1,20 +0,0 @@ -0 0 <eps2> <eps1> -0 0 a a -0 0 b b -0 0 A A -0 0 B B -0 -0 1 <eps1> <eps1> -1 1 <eps1> <eps1> -1 0 a a -1 0 b b -1 0 A A -1 0 B B -1 -0 2 <eps2> <eps2> -2 2 <eps2> <eps2> -2 0 a a -2 0 b b -2 0 A A -2 0 B B -2 |