.


:




:

































 

 

 

 





() , . , , , , .. , , . ( ), . , (), . - , .

. . , , , , , ( ) . . .

.

 

(, ), = {0, 1..., }. . , , . , 0. , .

, , Q = {q0, q1,.., qm}. q1 ( ) q0. q1, . q0, .

( ). . T(i,j) (i= 1, 2,..., m; j = 0, 1,..., n) :

qi aj → qk al ;

qi aj → qk al ; (1)

qiaj → qk al

 

0 < k < m; 0 < l < .

 

.

 

? - (.. , q0) , qi aj, . T(i,j): qi aj → qk al X, X ∈ {, , }. , :

1) aj l, ( aj);

2) qk ( qi);

3) , , =, , = , , = .

( qk ≠ q0) , T(k, l): qk al → qr as X ..

 

, , qi , qi aj, (i = 1, 2,..., ; j = 0, 1,..., n) , qiaj. = {0, 1,..., }

Q = {q0, q1,.., qm} ( + 1) .

 

Q, AQ . k- , k- ( , k- ), , . , .. , , , , , . , , , .

- , , ( ) , . , .

, α \{a0} = {1,...,an} , , , , α.

(), , , q1 ( q0). , , α β, α, , β, .

 

 





:


: 2017-02-24; !; : 788 |


:

:

: , .
==> ...

774 - | 739 -


© 2015-2024 lektsii.org - -

: 0.015 .