- , / ( ). , () (X, Y, Q, d, l). :
X={x0, x1, x2, , xn} - , x0;
Y={y0, y1, y2,,yn} - ;
Q={q0, q1, q2, , qm} - , q0 - - ( );
d: Q´X Q - ;
l: Q´X Y - .
, Y=X´U, U={R, L, S} - : R - , L - , S - .
, (- ): j: Q´X Q´X´U, (qi, xj) (qk, u, xl), uÎU. j . , . xj, qi, (qi, xj). (qk, u, xl), u ÎU, .. xl, u qk. -, - .
, , . . . -, , ; , . - , , .
, - . .
5.1. , (X, Y, A, d, l), (. 5.1) *:
X={0, 1}; Y={y1, y2, y3}; A={A0, A1, A2}; y1=(0, R); y2=(1, R); y3=(1, L).
|
|
|
1 | 0RA2 | 0RA2 |
2 | 1RA1 | 1LA0 |
). . 5.2. ,
1 ( 2).
5.2
1 | 0 1 0110 | 1 | 0 0000 | ||
2 | 00 0 110 | 2 | 0 0 000 | ||
1 | 001 1 10 | 1 | 01 0 00 | ||
2 | 0010 1 0 | 2 | 010 0 0 | ||
0 | 001 0 10 | 1 | 0101 0 |
( ) , 0 () 1 (), : 01, n1111 (n+1 ).
|
|
y = f (x1, , xn), :
1. (a1, , an), y = f (x1, , xn), , f (a1, , an)= y0, , (a1, , an) , -, y0.
2. , f (x1, , xn) .
, . .
5.2. f(x) = x +1 , , . . 5.3.
|
1 | 1SB0 | 1RB1 |
B1; 1 0 , .
: . 1 2 - . ( ) 1 2 ( ) ( =12), : , 1, 2, 2 : ()=2(1()).
() 1 2, =12 :
1. - 1 2;
2. - 2 - =12;
3. 2 .
- 1, 2 3 . , , 1 2 3 , : 1, (1()) 2, , 3 - .
|
|
, 1 - , , 1 , 1() , - .
J I, J I (- J I). ; () . , (), () .. .
, .
( , - 0 1).
1. , . , ( ).
2. 1- , ; 2- 3- . - ; , , .
3. -. , - , . . .
5.3. =[], ( . 5.4. 5.5).
5.4 5.5
1 | 0RA2 | 0RA2 | B1 | 0RB2 | 1RB3 | |
2 | 1RA1 | 1LA0 | B2 | 1SB2 | 0LB1 | |
B3 | 0SB0 | 1LB3 |
. : ={0, C1, C2, C3, C4, C5}, 1=1, 2=2, 3=1, 4=2, 5=3; 0º1=3 - , 0º0 - - . . 5.6.
|
1 | 0RC2 | 0RC2 |
2 | 1RC1 | 1LC3 |
3 | 0RC4 | 1RC5 |
4 | 1SC4 | 0LC3 |
5 | 0SC0 | 1LC5 |
5.7 5.8 5.9
1 | 1RA1 | 0LA2 | 1 | 0RB2 | 0RB0(1) | 1 | 0LC1 | 1RC2 | ||
2 | 0RA2 | 1SA0 | 2 | 1RB1 | 1SB0(2) | 2 | 1RC1 | 0SC0 |
N. Ÿ B. -, C; - - - N. -
-, A; - , .
N: {N0, N1, N2, N3, N4, N5, N6}; : N1=B1, N2=B2, N3=C1, N4=C2, N5=A1, N6=A2.
5.10
| ||||||
N1 | 0RN2 | 1RN3 | ||||
N2 | 1RN1 | 1SN5 | ||||
N3 | 0LN3 | 1RN4 | ||||
N4 | 1RN3 | 0SN0 | ||||
N5 | 1RN5 | 0LN6 | ||||
N6 | 0RN6 | 1SN1 |
5.4.
1. , () N, A, B, C, D.
A | B | C | D | |||||||||||
A1 | 0RA1 | 0SA2 | B1 | 0RB2 | 1RB0(1) | C1 | 1RC1 | 0RC2 | D1 | 0RD2 | 1SD0(1) | |||
A2 | 0SA0(1) | 1RA2 | B2 | 1LB1 | 1SB0(2) | C2 | 0SC0(1) | 1SC0(2) | D2 | 1LD1 | 1SD0(2) |
1. 4.
2.
2. .
* , , x0 =0 x1 =1.
[]