54
правки
Изменения
Нет описания правки
<tex>p(x)</tex>
'''forall''' <tex>x_1x_2 {\ .. {x_i\ x_n :}}_{i=1}^n \in P </tex>, где <tex>P</tex> все возможные разбиения {{---}} множество всех возможных разбиений слова <tex>x</tex>на подстроки
'''if''' <tex>(p_1(x_1) == 1) \land (p_1(x_2) == 1) \land \ ... \ \land (p_1(x_n) == 1)</tex>
'''return''' 1
'''return''' 0
Разрешитель будет перебирать все возможные разбиения данного ему слова на подсловаподстроки, и для каждого каждой проверять принадлежность <tex> L_1 </tex>. Если хотя бы в одном разбиении все подслова подстроки будут принадлежать <tex> L_1 </tex>, то все слово принадлежит <tex> L_1^* </tex>, иначе {{---}} не принадлежит.
* Для языка <tex> L_1 L_2 : </tex>
<tex>p(x)</tex>
'''forall''' <tex>x_1x_2 :{\{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>
'''return''' 1
'''return''' 0
<tex>p(x)</tex>
'''forallfor''' <tex>x_1x_2 k = 1 \ .. \ x_n :\infty</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> '''return 1'''
* Для языка <tex> L_1 L_2 : </tex>
<tex>p(x)</tex>
'''for''' <tex>k = 1 \ .. \ \infty</tex> '''forall''' <tex>x_1x_2 :{\{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> '''return 1'''
}}
