Здравствуйте, Bill Baklushi, Вы писали:
BB>И для фоннеймановской машины не так-то просто предсказать состояние. BB>Есть "проблема оснанова", т.е. не существует универсального алгоритма анализа программ.
Проблема останова и предсказание состояния программы на N-й итерации — это разные задачи.
Детерминированность — это про второе, если есть программа — значит состояние в точки N+1 однозначно определено состоянием в точке N.
BB>А если машина использует случайность — анализ усложняется еще больше. BB>Природные нейросети гораздо сложнее конечных автоматов и анализу поддаются еще хуже.
Не очень понял почему тут про случайности, когда Sinclair говорит про полный детерминизм.
Ну и да, для таких задач используют вероятностные автоматы.
И честно говоря, не очень понял, как это все отвечает на мой вопрос: MVK>Чем такая "свобода воли" отличается от свободы воли программы которую я написал?
Если, конечно, ты пытался на него ответить.