Интерпретатор Brainfuck с использованием клеточных автоматов - PullRequest
1 голос
/ 20 августа 2011

Есть ли у кого-нибудь правила клеточных автоматов для интерпретатора мозгового штурма? Я предполагаю, что это будет похоже на реализацию универсальной машины Тьюринга. Они существуют на сайте wolfram, но я не знаю, как настроить их для системы BF.

Ответы [ 2 ]

4 голосов
/ 20 августа 2011

Сотовые автоматы - это правила «на месте». Набор правил не будет нуждаться в состояниях перед текущим, чтобы вычислить следующее.

BF, однако, не вычисляет «на месте»: у него есть указатель и стек, и само пространство программы не должно изменяться при оценке. Трудно разработать набор правил клеточных автоматов, которые оценивают BF-программу, поскольку переменная-указатель и пространство стека находятся в глобальном состоянии.

BF-программы являются одномерными, поэтому в смысле Von Neumann"клеточные" автоматы были бы бессмысленными.

Это правда, что существуют клеточные автоматы, которые являются универсальными машинами Тьюринга, но это не означает (по сути), что все универсальные машины Тьюринга являются клеточными автоматами.

0 голосов
/ 20 августа 2011

Правило 110 завершено по Тьюрингу и способно к универсальным вычислениям.

...