, , , . , . . . , .
, . (t, a, A) , t A, (×, a, A) p(t, ×, A) , t, , A. B e, |p(t, ×, A) p(t, ×, B)| < e t, n.
20.4
n- f, e- .
, p(t, A) t , f , t n |p(t, f(A)) p(t, B)| < e.
, , , , - - . ; - , ; .
. , . . S A, fA:S{0,1}*, * S*=Èi³0{x1xi|x1,,xiÎS}. : G(x)=fB(fA(x)).
, A, , B. fB . fA fB , . , , fA x , fA(X) .
|
|
, , . . - ().
- <V, SÍV, , SÌV\S>, V S , ( ), S . , , . , , . -, .. , , . s , s , .
.
<{S,A,B,C},{A,,Z, a,,z},,S>,
: ={S0.5 Alice B, S0.3 Bob B, S0.1 Eve B, S0.1 I A; A0.3 am working, A0.4 am lazy, A0.4 am tired; B0.5 is , B0.5 can cook; C0.5 reading, C0.1 sleeping, C0.4 working}.
Vi={pi,1,,pi,n} , Vi. i fi. . 20.7 S , . , Eve B 110, I am tired 11 ..
. , . S, Vi . Vi . , , , . . .
. 20.7. S
. 11110. S I. , S I A. , , am working. , . 11110 I am working.
|
|
. , .
, , , - . .