,


- 3


greedy).

, . , , () .

( ).

fct suche = (seq bool x) scq bool:

if length(x) = n then x

else seq bool s == <trne> x;

if fail(a, s) then suche(<false> x)

else seq bool

= suche(s);

if a(y) then

else suche(<false> x)

fi

fi

fi

, - fail(a, x) true (. . a(x) == false),

z

length(z x) == n Þ a(z x) == false.

suche , , , .

, . . , .