diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/c2.lab')
| -rw-r--r-- | gfsm/gfsm/src/programs/c2.lab | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gfsm/gfsm/src/programs/c2.lab b/gfsm/gfsm/src/programs/c2.lab deleted file mode 100644 index 5288861..0000000 --- a/gfsm/gfsm/src/programs/c2.lab +++ /dev/null @@ -1,11 +0,0 @@ -<eps> 0 -a 1 -b 2 -A 3 -B 4 -AA 5 -{A|B} 6 -{AA|B} 7 -{} 8 -[e2] 65533 -[e1] 65534 |