Я думаю о том, как мозг может запускать простые программы. У Тьюринга была его модель с состояниями и бесконечной лентой. Каждое состояние смотрит на ленту, меняет ее и перемещается влево или вправо.
Я хотел бы найти что-то подобное, больше похожее на RAM и имеющее переменные.
Моя первая попытка состоит в том, что каждое состояние выглядит так:
State A:
Copy memory at B to memory at C.
If memory at D == memory at E then Do State F
Do state G
Тогда каждое состояние может быть задано серией из 7 чисел (которые являются просто адресами памяти или нейронами) {A, B, C, D, E, F, G}. Поэтому каждое «состояние» может быть представлено в мозге, возможно, одним нейроном с усиленными связями с 7 другими.
Тогда каждая программа будет запускаться в состоянии 0, а для остановки программы она будет заканчиваться в определенном «состоянии остановки». Там может быть дополнительно команда вывода. Или можно просто прочитать память, когда она остановится.
Я вполне уверен, что эта система завершена по Тьюрингу (если мы допустим бесконечное количество адресов памяти).
Интересно, есть ли более простая модель? (Я предполагаю, что все адреса памяти неупорядочены и нет математического процессора).