:

 

1

. , " .

.

( (q0, 1, q1, 0,

( (q1, 1, q2, 1,

( (q1, #, q6, #,

( (q2, 1, q2, 1,

( (q2, #, q3, #,

( 0, (q3, 0, q3,

( (q3, 1, q4, 0,

( (q4, 0, q4, 0,

( (q4, #, q5, #,

( (q5, 0, q0, 0,

( (q5, 1, q5, 1,

( 0, (q6, 0, q6,

( (q6, 1, q7, $,

( (q7, 1, q7, 1,

( (q7, Δ, q8, $,

q8 .

. 111 ( ) -1 ( ).

. 0 (, ).

. ? .

. 0. , .

 

.

2 .

. q0 #.

. f(x,y)=y-x 0<xy

: 1 , -0 1 (" 0), $ . 1 . $ , .

. (, (q0, # ,q7 ,$. $ ( ), , $ .