Изменения

<tex>p(x):</tex>

'''forall''' <tex>{\{x_i\}}_{i=1}^n \in P </tex>, где <tex>P</tex> {{---}} множество всевозможных разбиений слова <tex>x</tex> на подстроки

Разрешитель будет перебирать все возможные разбиения данного ему слова на подстроки и для каждой проверять принадлежность <tex> L_1 </tex>. Если хотя бы в одном разбиении все подстроки будут принадлежать <tex> L_1 </tex>, то всё слово принадлежит <tex> L_1^* </tex>, иначе {{---}} не принадлежит.

'''forall''' <tex>{\{x_i\}}_{i=1}^2 \in P </tex>, где <tex>P</tex> {{---}} множество всевозможных разбиений слова <tex>x</tex> на две подстроки

'''if''' <tex>(p_1(x_1) == 1) \land (p_2(x_2) == 1)</tex>

Разрешитель будет перебирать все возможные разбиения на два слова и проверять принадлежность первого слова <tex> L_1 </tex> и второго слова <tex> L_2 </tex>. Если хотя бы для одного разбиения оба разрешителя вернут 1, то слово принадлежит <tex> L_1 L_2 </tex>, иначе {{---}} не принадлежит.

<tex>p(x):</tex>

'''for''' <tex>k = 1 \ .. \ \infty</tex>

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

<tex>p(x):</tex>

'''if''' <tex> (p_1(x) == 1) \land (p_2(x) == 1) </tex>

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

<tex>p(\langle x, y \rangle):</tex>

'''if''' <tex> (p_1(x) == 1) \land (p_2(y) == 1) </tex>

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

'''forall''' <tex>{\{x_i\}}_{i=1}^n \in P </tex>, где <tex>P</tex> {{---}} множество всевозможных разбиений слова <tex>x</tex> на подстроки

'''if''' <tex>(p_1|_k(x_1) == 1) \land (p_1|_k(x_2) == 1) \land \ ... \ \land (p_1|_k(x_n) == 1)</tex>

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

'''forall''' <tex>{\{x_i\}}_{i=1}^2 \in P </tex>, где <tex>P</tex> {{---}} множество всевозможных разбиений слова <tex>x</tex> на две подстроки

'''if''' <tex>(p_1|_k(x_1) == 1) \land (p_2|_k(x_2) == 1)</tex>

&nbsp;

}}