Nếu nhà nước i giao tiếp với trạng thái j, sau đó trạng thái j liên lạc với nhà nước i.
(iii) Nếu nhà nước i giao tiếp với nhà nước và nhà nước j j liên lạc với nhà nước k
sau đó nhà nước i giao tiếp với nhà nước k.SinceP.m /
ji; Pn / kj > 0 với m và n, chúng ta có
đang được dịch, vui lòng đợi..