· Gérard Huet' Dallas Lankford'* Résumé . ... write s and go right in state q 2 in...
8
· Gérard Huet' Dallas Lankford'* Résumé . ... write s and go right in state q 2 in state q. reading s.. RM the rule . we put in If we add also the rule . corresponding to reading