editor
177
правок
Изменения
м
Нет описания правки
'''if''' <tex>x == f(y)</tex>
'''return''' 1
Из [[Замкнутость_разрешимых_и_перечислимых_языков_относительно_теоретико-множественных_и_алгебраических_операций|замкнутости перечислимых языков относительно операции пересечения]] следует, что элементы множества <tex>X \cap D(f)</tex> можно перебрать. Если программа находит словслово, то она возвращает 1.
}}
{{Утверждение
