, n ( n ) I , , ├ I.
, , n g, : n , g (n, t) = 0 , t , , , T , n. ( g, t , g (x, t) = < a, b, c > = a, b, c g (x, t) > 0. t , g (x, t) = 0.
, , q0, q1, , qr , : 1) g i , 2) n T, n, , g r(n, t) = 0 t.
T , 1) 2). g i g i , g i. g 0 = '. , g i , g i ,
g i = z, " x g i(x) = 0
g i = s, " x g i(x) = x '
g i = , " x 1 " x m " x n g i(x 1, , x m, , x n) = x m
g i g j g k c , " x g i(x, 0) = g j(x) " x " y g i(x, y ') = g k(x, y, g i(x, y))
g i g , " x g i(x) = g j ( x 1, x 2, , x n x, a " x 1, " x 2, , " x n " x)
" x x ' ≠ 0 " x " y (x ' = y ' → x = y). , I .
. T , ├ I.
. ├ I. , 0 0, gi . . ├ I, I . , . 2), T .
|
|
. , . ├ I , , , , . 0 , a gi. , , ( ), . , , , {0, 1, 2,} N. , , N , , N , .
, N ( N). , . , N . , . , . , , , . , , .
, , , , , , I = , .
, . ( , , ) ( ).
: , .
, , , , , , .
. , . . .