, , , , . .
, , , .
- , , .
.
, . :
) A = { a 0, a 1,... an }, a 0 ;
) Q = { q 0, q 1,... qm }, q 0 : ; q 1 : ;
) , .. T (i,j) (i= 1, , m; j=0,1,, n), : ajqi arSqk, S (), S = L, , S = R, ,
S = C, . , j i .
() () (. 5.1).
. 5.1.
. , . , . . . , ; , . () . , ( ). .
P = ai 1, ai 2, , ais , , ai 1 , , ais , . .
|
|
t P, qi, aim P. t K = ai 1, , ai ( m 1), qi, aim , ais. .
5.1.
A = {1, a }, Q = { q 1, q 2}
1 q 11 Rq 1,
aq 11 R q 1,
, .
. , . .
- - , , .
5.1
A Q | q 0 | q 1 | qi | qn | |
a 0 a 1 aj am | arSqk |
: aSq, a ( , ); S (, , ); q . .
, qi, aj. arSqk , qi aj:
1) ar;
2) (S = L), (S = R), (S = C);
3) qk.
:
1) ; ( );
2) , .
. , . . , , , *. a 11= 1 a, a . , 3 111.
5.2.
, a b. a b 1 a * 1 b 1 a + b. , a * b * . 5.2.
A = {1, *, _}, * , _ (). Q = { q 0, q 1, q 2}.
5.2
A Q | q 0 | q 1 | q 2 | |
* _ | _ Rq 1 _ Rq 1 | 1 Rq 1 1 Lq 2 _ Cq 1 | 1 Lq 2 _1 Rq 1 | |
|
|
a = 5, b = 3 . 5.2 a .
a)
* |
)
. 5.2. ,
, P R. .
P | R | P | R | ||
1. .. , : . / .. , .. . .: , 1984. 223 .
2. .. : . / .. . - , 2009. 120 .
3. .. : . / .. . : - , 1997. 385 .
4. .. / .. . .: , 1973. 400 .
5. .. : . / .. . .: , 2005. 304 .
6. : . / . .. , .. . .: - , 2002. 45 .
7. .. / .. . .: - , 2005. 400 .
8. .. : . / .. , .. . : - , . 2005. 96 .
9. .. : . / .. , .. , .. . .: - , 2003. 104 .
..
..
06039 12.10.2001
. 2009 .
11.09.09. 6084 1/16. .
. . . . 2,5. .-. . 2,5. 200 . 601.
. , . , 11. . 23-02-12