can be transferred to state i, where state 1 to state 2n
equals
to �, �, ... , �, respectively. However, in the
2n� n n
semi-tensor product, the dynamic of a BN can be expressed as
V semi (t + 1) = Asemi V semi (t). Similar to A, Asemi is also
a logical matrix. Thus Asemi6�n equals to the jth column of
Asemi. In the semi-tensor product, state 1 to state 2
n
equal
to 11 ... 1, 11 . .. 0, . . . , 00 ... o. Hence A�emi = T A
i '-v--' '-v--' '-v--'
T is
n n n
proved. •