Я работаю над книгой по вычислениям (Minksy 1967), и мне трудно связать рекурсивную функцию с функцией, определенной в терминах циклов. В частности, он просит найти связь между двумя функциями: Функция Аккермана (весь код на питоне): def...

Скажем, существуют машины Тьюринга M1, M2, M3, языки, которые они распознают, это L(M1), L(M2) и L(M3) соответственно. Следующий язык L = {(M1, M2, M3) : L(M1), L(M2) и L(M3) не равны} Является ли язык разрешимым? Рекурсивно перечислимы? Или ни то,...

Сейчас я читаю Основы языков программирования Джона К. Митчелла. Упражнение 2.2.3, по сути, просит читателя показать, что функция возведения в степень (натурального числа) не может быть неявно определена с помощью выражения на маленьком языке....

Для работы со счетными множествами мне нужно определить функцию кодирования всех конечных подмножеств N (натуральных чисел). Как я могу это сделать? Я начал с поиска функции для всех натуральных чисел: f(n)=1+2+...+(n-1)+n. Но как я могу выразить...