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