Examens corriges

Regions (3/20 Points) Exercise 2 - Uni Freiburg

In the tutorial, we had the impression that location. ?2 is not reachable. Prove this statement by constructing the region automaton. Hint: you need not present ...



Télécharger