TAU писал(а):
Думаю, суть моей позиции в противопоставлении аппаратуры и программ, hardware и software. Программа - нечто легко изменяемое, без необходимости менять структуру или схему устройства.
Хардвер в АВМ таки не изменяется. Изменяются связи и настройки (своего рода параметризация хардвера программой
).
Точно так же и в ЦВМ хардвер не изменяется. Изменяется состояние памяти.
А что есть соединения на панели АВМ, как не состояние программной памяти?
Здесь очень интересный момент - явно и наглядно выступает
относительность границы между программой и исполнителем.
Так вот, я предлагаю основываться не на взятом с потолка понятием хардвера, а на информационной сущности модели. Где есть исполнитель и есть программа.
При этом, что отнести к исполнителю, зависит от вида ВМ и способа её использования.
Посмотрите, мы можем даже заняться странно выглядящим, но строгим и интересным занятием: смоделируем на компе пресловутую "Жизнь", а в ней из потока планеров и прочих объектов соберём машину Тьюринга, которую запрограммируем на решение нашей прикладной задачи.
Вопрос: что в данном случае будет хардвером?
Ответ: хардвером (сиречь исполнителем) будет наш программный комплекс, реализующий МТ.
Если кто-нибудь заикнётся, что такое утрирование беспредметно, то укажу ему на бесчисленное количество систем программирования и симуляции (DSL), которые таки будут являться исполнителями программ на этих самых DSL!
Цитата:
Помимо этого, все же склонен считать неотъемлемым свойством программ дискретность. Для АВМ это, естественно, в принципе иначе.
Так в свете вышесказанного программа для АВМ очень даже дискретна: это дискретная структура связей.
Правда, настройки, задаваемые аналоговыми потенциометрами, трудно назвать дискретными. Ну так тем хуже для "неотъёмлемого свойства" - оно ничем не обосновано и, простите, просто взято с потолка - так же, как и волюнтаристское Ваше определение хардвера, сделанное без оглядки на информационное содержание понятий...