Как программировать на элементарных клеточных автоматах?
Ярослав Сергиенко разбирает доказательство Тьюринг-полноты правила 110 через однобитную версию brainfuck.
Представьте, что у вас есть одномерная цепочка из клеток, которые взаимодействуют так:
- Живая клетка, окруженная живыми - умирает.
- Мертвая клетка, справа от которой есть живая - оживает.
Оказывается, этих двух правил достаточно, чтобы проводить произвольные вычисления!
В главных ролях:
- Правило 110
- Системы глайдеров
- Циклические системы тегов
- Системы тегов
- W-machine (B-мachine)
- Brainfuck
- Машина Тьюринга
Ключевые источники:
- Статья Mattew Cook с доказательством:
- Пост в блоге Jared Candelaria про реализацию W-machine на циклической системе тэгов:
Созвон был в Генклубе, будут ещё. Если вам интересно генеративное искусство, приходите знакомитсья: