Марков

Проблема алгоритмической разрешимости

Всякому методу соответствует задачка, для решения которой он был построен. Оборотное утверждение в общем случае является неправильным по двум причинам:…

8 лет ago

Обычный метод. Пример 7.12

Составить обычный метод, обеспечивающий выполнение операции сложения в троичной системе счисления. Алфавит будет содержать знаки: А = {0, 1, 2, +};…

8 лет ago

Нормальные алгоритмы Маркова

Коротко обсудим 3-ий подход к уточнению (конкретизации) понятия метода. По смыслу оно близко к идеям Тьюринга, но, в нем не…

8 лет ago