Обработка знаний – одна из областей обработки информации. Машинам, при любом способе их организации, задаются числовые величины, получение которых является прерогативой той части процесса обработки, который проводит человек. Поэтому раньше…
При построении алгоритмической теории понятие исполнителя метода в очевидном виде не вводится. Механизм выполнения предлагается только в моделях Тьюринга и Поста, так как с ним связана сущность модели. В других…
На ленте записано некое число, и головка обозревает одну из помеченных секций (всякую). Составить программку добавления единицы к этому числу. Ситуация иллюстрируется рисунком. Программка, обеспечивающая решение задачки, состоит из 4-х…
Всякому методу соответствует задачка, для решения которой он был построен. Оборотное утверждение в общем случае является неправильным по двум причинам: во-1-х, одна и та же задачка может решаться разными методами;…
По сути, Пост, в отличие от Тьюринга, не воспользовался термином «машина», а называл свою модель алгоритмической системой. Как принято в литературе, все таки будем гласить о машине Поста, подчеркивая тем…
1. С чем связана необходимость четкого определения понятия «алгоритм»? 2. Почему приведенное в п.7.1. определение метода названо «нестрогим»? 3. Можно ли считать методом: (а) правила правописания; (b) законы физики; (с)…
Имеется запись многоразрядного целого числа п в десятичной системе счисления; выстроить машину Тьюринга, которая обеспечивала бы вычисление значение n + 1. Используем наружный алфавит А = {0,1,...,9, ∆}, в каком…
Четкое описание класса отчасти рекурсивных функций совместно с тезисом Черча дает одно из вероятных решений задачки об уточнении понятия метода. Но это решение не полностью прямое, потому что понятие вычислимой…
Машина Тьюринга - это формальная система, порождающая огромное количество собственных конфигураций. Начальным объектом является исходная конфигурация; правилами - многофункциональная таблица. Но ранее была подтверждена эквивалентность представления алгоритмов в разных алгоритмических…
Вернемся к формулировке трудности, решение которой дискуссировалось. Некие теоретические трудности (к примеру, неувязка алгоритмической разрешимости) и потребности практики (к примеру, необходимость формулировки механизмов работы устройств, производящих автоматическую обработку инфы) востребовали…
content