»
»
10 2020
4
       4

- 4

 

:

 

 

   B f - HÆ - B HÆ . : P f . ACCEPT_B    f(P).

.PÎ HÆ   "  f(P)ÎB   ))

 

 

 

:          X1={P |  |L(P)|=1}   

:  X1

: -H    ` P }  , W , - P W   `H ={(P,W) |

(P,W) f(P,W)=Q    P(W) " |L(Q)|=1

Q(X)

}

IF (X==A) THEN

   RETURN

P(W)

RETURN

{

P(W)    *å L(Q) =,  P(W) Ü   L(Q)=A  | L(Q) |= 1 " P(W)           

                                                                    ... 

: :

P }  , W , - P W   H={(P,W) |

    P(W)                                      1             

                                                        P(W)              0                          

CHECK_H(P,W)=

   

- STRING  :

  {0,1}(*å   x *å) CHECK_H:

                              p           w

H CHECK_H ,

- N - N ,  .    

 


 

 

 27-01-04 / 10:53   ,  01-01-04 / 21:23   "   
  3 - -  
      -  0
  ?
, :
"
 
 
: 6