1. что общего между всеми этими машинами и моделями вычислительных устройств?
2. понятно, что это модели универсального вычислителя, но что между этими разными моделями общего?
3. что общего между разными типами физических вычислительных устройств: процессоров, калькуляторов, арифмометров, счетные палочки, чётки, абаки, юпана, бруски, лог.линейки и т.п.?
http://computerhistory.narod.ru/vichislit_prisposob_ustrojstva.htmВычислительные приспособления и устройства
/* носители информации
http://computerhistory.narod.ru/nositeli_inf.htm Машина Тьюринга. Машина Поста.
https://deep-econom.livejournal.com/56644.html Нормальные алгоритмы Маркова. Марковские подстановки.
https://deep-econom.livejournal.com/298250.html Нормальный алгоритм Маркова
https://ru.wikipedia.org/wiki/Нормальный_алгоритм Машина Тьюринга
https://ru.wikipedia.org/wiki/Машина_Тьюринга Машина Поста.
https://ru.wikipedia.org/wiki/Машина_Поста Лямбда исчисление
https://ru.wikipedia.org/wiki/Лямбда-исчисление https://ru.wikipedia.org/wiki/Категория:Модели_вычислений Нетрадиционные вычислительные устройства и вычисления.
https://deep-econom.livejournal.com/911032.html---
Ответ:
Общее у физ.машин то, что совершается какое-то простое действие, последовательность простых действий правильно организованных приводит к нужному состоянию.
аналогично и у моделей вычислений
связка элементарной команды универсального вычислителя и элементарного действия физ.машины дает вычисление алгоритмов
все это получается тупая цепочка причинно-следственных связей (ПСС)
в виде физ.модели
в виде последовательности непосредственно интерпретируемых команд символической вычислительной модели
каждый отдельный символ символической вычислительной модели соответствует физическому действию
а весь алгоритм эквивалентен символической записи цепочки ПСС
---
ps
я называю это "подстановками"
https://deep-econom.livejournal.com/425689.html?thread=3033817#t3033817 https://ru.wikipedia.org/wiki/ПереписываниеАбстрактная Система Редукций или ARS (от англ. Abstract Reduction Systems)
Переписывающие системы такого рода называют Системами Переписывания Термов или TRS (от англ. Term rewriting systems).
ps2
Что такое вычисление?
Любую цепочку причинно-следственных связей (ЦППС) можно назначить вычислением.
https://deep-econom.livejournal.com/880076.html что такое вычисление, вычислительный процесс?
https://deep-econom.livejournal.com/425689.html теория описания всего
https://deep-econom.livejournal.com/94281.htmlтеория описания всего - 2. информация. модель. модель моделей.
https://deep-econom.livejournal.com/110281.html