Изменения

<tex>x_{d_1}x_{d_2} \ .. \ x_{d_n} :</tex> текущее разбиение <tex>x</tex>

'''if''' <tex>(p_1(x_{d_1}) == 1) \land (p_1(x_{d_2}) == 1) \land \ ... \ \land (p_1(x_{d_n}) == 1)</tex>

'''return''' 0

<tex>x_{d_1}x_{d_2} :</tex> текущее разбиение <tex>x</tex>

'''if''' <tex>(p_1(x_{d_1}) == 1 \land p_2(x_{d_2}) == 1)</tex>

'''return''' 0

<tex>x_{d_1}x_{d_2} \ .. \ x_{d_n} :</tex> текущее разбиение <tex>x</tex>

'''if''' <tex>(p_1(x_{d_1}) == 1) \land (p_1(x_{d_2}) == 1) \land \ ... \ \land (p_1(x_{d_n}) == 1)</tex>

* Для языка <tex> L_1 L_2 : </tex>

<tex>x_{d_1}x_{d_2} :</tex> текущее разбиение <tex>x</tex>

'''if''' <tex>(p_1(x_{d_1}) == 1 \land p_2(x_{d_2}) == 1)</tex>

&nbsp;

}}