141
правка
Изменения
м
Внесён намёк на конечность исходника функции
Приведём программу, выдающую 1, если <tex>p \in A_{\Gamma}</tex>:
<tex>q(p):</tex>
for <tex>k = 1..\ldots +\infty</tex> for <tex>\gamma \in \Gamma[1..\ldots k]</tex>
if <tex>(p \in A_{\gamma})|_{TL(k)}</tex>
return 1
return <tex>y_1</tex>
<tex>\cdots</tex>
if <tex>x = x_ix_n</tex> return <tex>y_i</tex> <tex>\cdotsy_n</tex>
<tex>\perp</tex>
