ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/techreport795.pdf
No Title Given
and also no rule applies anywhere else. ut
12
1 F 0 s
m
U3, U4
q P
D
U1 T3
T4, T5 U1, U2
U3, U4 U5
T1, T2
T2
T3, T4, T5
T6, T7U1, U2, T4, T5, R
Fig. 2. Phase qualities of a phase.
3.2 Meta-Rule
While [...] with M1 6= ∅ T4 A5 with M1 = ∅ T5
q → 1 A10 incl. A13(ii) U1 sending cancellation (A7) U1
q → F A10 incl. A13(iii) U3 A11 incl. A13(iii) U4
q → 0 A4 T3
0 → 1 A4 T1.T3 A5 with M1 6= ∅ T2.T4 A5 with M1 = [...] {U3, U4, U5, D, T1} cannot be applied in z|b.
(c) Let z|b be a soliciting state. In z|b, only the rules from {U1, U2, U3, U4, U5, T2} ⊂ RULES can be applied. By applying rules from {U1, U2, U3, U4, U5} …