О мере множества законов движения точки, реализуемых клеточными автоматами

В работе рассматривается модель движения точки на экране, представляющем из себя бесконечный вправо одномерный клеточный автомат. Выделено подмножество множества состояний экрана, которое называется изображением точки на экране. Закон движения определяется бесконечной последовательностью из нулей и единиц, которые в каждый момент времени задают остановку или движение точки соответственно. Описан алгоритм реализации на экране широкого класса законов движения и исследована мера Бернулли множества реализуемых законов движения. Показано, что почти все законы движения являются реализуемыми. Также доказано, что относительно тихоновской топологии множество реализуемых законов движения относится к первой категории Бэра, то есть мало.