Лекция 8

Системы переходов (автоматы без лент) и клеточные автоматы (КА). Краткий очерк истории развития КА: Улем, фон Нейман, Конвей, Вольфрам. Игра жизнь: неформальное определение, примеры конфигураций: семафор, блок, планёр. Формальное определение КА: элементарные состояния («алфавит»), вселенная, локальные условия для функции переходов. 

Локальная функция переходов μ: понятие о группах, отображение трансляции Tx. Правила игры Жизнь в форме функции μ.