Appendix B: Limitedness of Reset Vector Addition Systems
Appendix B: Limitedness of Reset Vector Addition Systems
Appendix B: Limitedness of Reset Vector Addition Systems
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
, 0 b, 0<br />
s0<br />
a, r<br />
a, 1<br />
s1<br />
s2<br />
b, 0<br />
a, 1<br />
<br />
<br />
ω <br />
ab ω + ab ∗ a ω 2ω <br />
a(ɛ + b + bb + bbb)a ω <br />
<br />
<br />
{0, +1, r} n <br />
{0, +1, −1} n ci = D<br />
1 ≤ i ≤ n ci D <br />
<br />
ci = D ci<br />
D<br />
<br />
<br />
Y N <br />
? ?Y <br />
D ∃D<br />
<br />
<br />
LD(A) = ∅ LD(A) = Σ ∗ LD(A) = L(A)<br />
<br />
?Y ?Y