Аналогично, нет общей программы для машины Тьюринга, позволяющей установить совпадение двух вычислимых подмножеств SP и ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Биркгоф Г.N. Современная прикладная алгебра


Аналогично, нет общей программы для машины Тьюринга, позволяющей установить совпадение двух вычислимых подмножеств SP и ГР.

(cкачать страницу)

Смотреть книгу на libgen

Аналогично,  нет общей программы для машины Тьюринга,  позволяющей установить совпадение двух вычислимых подмножеств SP и ГР.