Всякому методу соответствует задачка, для решения которой он был построен. Оборотное утверждение в общем случае является неправильным по двум причинам: во-1-х, одна и та же задачка может решаться разными методами;…
Метод был ранее определен как алфавитный оператор с конечной системой правил преобразования. Для записи входных, промежуточные и выходных слов употребляется некий алфавит. Каким-то образом должны быть описаны и правила преобразования.…
Вернемся к формулировке трудности, решение которой дискуссировалось. Некие теоретические трудности (к примеру, неувязка алгоритмической разрешимости) и потребности практики (к примеру, необходимость формулировки механизмов работы устройств, производящих автоматическую обработку инфы) востребовали…
Коротко обсудим 3-ий подход к уточнению (конкретизации) понятия метода. По смыслу оно близко к идеям Тьюринга, но, в нем не употребляются представления о каких-то машинах. Метод задается системой подстановок, которые…
content