As we will see in Sections V and VI-C, our automata have the particularity that each of their transitions is labeled by a set of events (which may be a singleton).
As we will see in Sections V and VI-C, our automata havethe particularity that each of their transitions is labeled by a setof events (which may be a singleton).