оълерйн- 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 , аж афщш мчегг аъ дозшежъ мосфшйн еаж рчбм ферчцйд одибтййн мибтййн.