Теория автоматов: Динамические лабиринты

Математико-компьютерный игровой мир «Динамические лабиринты» предлагает игровое знакомство с основными понятиями автоматизации и программирования от дошкольного возраста до взрослой жизни.

Для построения динамических лабиринтов можно использовать следующие типы блоков:

• Строительные блоки пути: прямая, перекресток, кривая (справа, слева), перекресток (справа, слева)
• Блоки построения переключателя: кросовер, переключатель,  счетчик

С помощью конструкций из этих строительных блоков, среди прочего, можно алгоритмически решать задачи сортировки, периодического счета, сложения (см. рисунок), вычитания, умножения или деления.

Динамические лабиринты — это активный вариант теоретико-автоматной концепции. Они относятся к универсальным вычислительным концепциям, таким как машины Тьюринга или Регистр-машина.

Теорема Оттмана утверждает, что все машины Мили могут быть построены из двух типов строительных блоков: коммутатора и соединения. В теоретической информатике динамические лабиринты также известны как сети Рёдинга.

При построении динамических лабиринтов можно создавать внешние представления для решения вычислительных задач, которые, например, облегчают человеку, решающему задачу, рефлексию над ошибками, поддерживают его общение с другими и делают идеи невербально выразительными. Алгоритмическое мышление, а также функционально-логическое мышление в целом развивается.