'' ''
0646
1998
. , , .
. , , ; , , .
: ( ) ( ).
, . , .
, .
, () .
U=<X,Y,Q,f (q, x), j (q, x) >,
X={x1, x2, , xn} ;
Y={y1, y2, , ym} - ;
Q={q0 ,q1, , qs} - ;
f (q, x): Q*XQ ;
j (q, x):Q*XY .
q0ÎQ. ( ).
:
) ( )
q (t) = f (q (t-1), x (t)),
y (t) = j (q (t-1), x (t));
)
q (t) = f (q (t-1), x (t)),
y (t) = j (q (t), x (t));
) ( )
q (t) = f (q (t-1), x (t)),
y (t) = j (q (t)).
.1. () , , , 1,2 3 . , 3. .
: X={1,2,3}.
(): - , - , - , .. Y{,,}.
, . , : Q={q0, q1, q2}, .
|
|
. 1
1
. 1/; 2,3/ q2q0 , q2 1, , 2 3 . : (.1) (.2)
1 2
|
|
2. , 1, 2 3 . . (), , . (), (.2).
2.
0 . , .. , , . (.3).
3
q | q | |
q | q | |
q | q | |
q | q |
, . , (.. ), ( ) .
, , . , .
, .
. , , qi x j b i j .
, . , , - , , b0, . , . .
|
|
. (. . 1 2). . 1, i j bij (. 4). , , .. b0, b03, b12, b13, b21, b22, b23 , , q0 , b01 - q1, b02 b11 - q2. . 5.
, , - . , , .
|
5
|
, , . , n m n* m+1 .
, , . , , , . , . 2 , .3.
. 3
, . , . 3 (. 6 7).
6 7
|
|
, , , , .
- , .
1-, , , ( 1) . - , , , ( ). - , () . .
.
:
1. ( ) , ( ) 1- .
|
|
2. . , 1- , , 1- , 2- .
3. , - (-1)-, .. .
4. , , .
. . 8 9.
8 9
1 . 8, 2 . 9, 3 . 10.
10 11 12
|
. . 11 12.
, FÍQ, . , (, , ) , .
. 1. (. 4) 1 F1 F2 , a b, , a a, a a a a a a, b b a a ..
. 4
2. (.5), , , .4.
. 5 . 6
1, F. , ( ) . , ab 2 a, b, , ab . ( ) , , (.6).
3. . , , .. . (.7) , , ab, aa, bb, bba .. A, - F.
. 7
.13.
13
A | B | C | F | |
a | B,C | F | ||
b | B | C,F |
, , , . , , :
A aB A:: = aB / bB / aC
A bb B:: = bC / b
|
|
A aC C:: = a
B bC
B b
C a
, .
.
, .
1. () .
1.1.* R, S T. R 0, S- 1 T- , . , 钒 0.
1.2.* X1 X2, 0 1. f=x1 Å x2, , f 1. Y :
Y = 0, f = 0;
Y = 1, f = 1 , , f
, ;
Y = 2 .
- . , ( ) . (), .
, /1. U, , . , .
, 10; 15 20 ., , 50 1 .; , 1 .; 0.
1.20* x1 x2 , . , , - , 4 , .
2. * :
2.1 ;
2.2 ;
2.3 .
3. , .
4. :
4.1 14 15
|
|
5. :
5.1 * 24
|
7. :
7.1 * 30 31
|
|
|
|
8. .
8.1* 44 8.2* 45
| |||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||
9. , () .
9.1.* , /1. ( ).
9.2.* , /1.
9.5.* /1, :
IF THEN t1 [ELSE t2]
, , t1 t2 . , .
11.. , , .
11.1.* ::= ab / aC 11.2. A::= ab / bB / aC
B::= b B::= bc / b
C::= a C::= a
12. , , .
.
1.1. . 8.
. 8
1.2. 1 2 (. 9). . 10.
|
. 9 . 10
1.3. ( ) ( ) . , , , , . 2.
. 2
, , 2 , , . , , (│, ─). .14.
|
14.
1.4. : , , ð - , π , ~ - . . 12 ( ).
. 12 13.
. . 13, 1 , F . :
1::= / 2
2::= 2 / 2 / /
1.6. , , 21 . ( ) .15 . 0 . 5.
15
10 | |||||||||||||||||||||
15 | |||||||||||||||||||||
25 |
. , ?
1.20. . 14.
. 14
1.2.. ( ): , , ..
2.2.. , , .
2.3.. .
|
16
5.1.. . 17, 18.
|
|
17 18
7.1. 1- , , 2- (.19). 3- .20.
|
|
|
1 | b | c | c | d | d | d | d |
2 | b | c | c | c | c | c | a |
|
21
|
|
22 23
7.2. .24, 25.
|
|
24 25
, , (.. ) .
8.1. 1- , 2- (.26).
y1 | y1 | y1 | y1 | y1 | y1 | y1 | |
x1 | a | a | a | a | a | a | a |
x2 | a | a | a | a | b | a | a |
|
26
(.27, 28, 29) (.30).
27 28
| |||||||||||||||||||||||||||||||||||||||
29 30
, . , . ( , , ). , (. . 30) , .. . , . . ( . , ?).
8.2. . 31.
y1 | y1 | y2 | y2 | y1 | y1 | |
α | β | γ | ε | η | δ | |
x1 | ε | ε | ε | ε | ε | γ |
x2 | α | β | β | β | β | α |
x3 | η | β | β | ε | ε | ε |
31
9.1. . .13 .
9.2. /1 :
) S a1 an b1 bn
) S a1 an
) S a1 an
) S b1 bm
S , + -; ai (i = 1,n) , bj (j = 1,m) .
.15, - , F .
.15
( ). (.16).
.16
:
:: = u C |+ B | B |+ D | D | D |u E |u
B:: = u C |D
D:: = u E | u
E:: = u E | u
9.5. . .17. , t1 t2 :.
.17
10.1. . .18.
.18
11.1. A:: = a D
D:: = a / b
1. .. . .: , 1962.
2. . . .: , 1966.
3. .., - .. . .: , 1960.
4. .., .. . .: , 1963.
5. .., .. . : , 1972.