diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/vit-out.lab')
-rw-r--r-- | gfsm/gfsm/src/programs/vit-out.lab | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/vit-out.lab b/gfsm/gfsm/src/programs/vit-out.lab new file mode 100644 index 0000000..bd1493c --- /dev/null +++ b/gfsm/gfsm/src/programs/vit-out.lab @@ -0,0 +1,7 @@ +<eps> 0 +a_A 1 +a_B 2 +b_A 3 +b_B 4 +<eps>_A 5 +<eps>_B 6 |