Изменения

Перейти к: навигация, поиск

Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций

6 байт убрано, 19:01, 10 марта 2019

Нет описания правки

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

'''if''' <tex> (p_1(x)|_k == 1) \lor (p_2(x)|_k == 1) </tex>

'''return''' <tex>1</tex>

36

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/70261»