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

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

Для побудови динамічних лабіринтів можна використовувати такі типи блоків:

• Будівельні блоки шляху: пряма, перехрестя, крива (праворуч, ліворуч), перехрестя (праворуч, ліворуч)
• Блоки перемикачів: кросовер, перемикач, лічильник

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

Динамічні лабіринти є активним варіантом автоматно-теоретичної концепції. Вони належать до універсальних концепцій обчислень, таких як машини Тюрінга або Реєстр-машина.

Теорема Оттмана стверджує, що всі машини Мілі можна побудувати за допомогою двох типів будівельних блоків: перемикач і з’єднання. У теоретичній інформатиці динамічні лабіринти також відомі як мережі Реддінга.

За допомогою побудови динамічних лабіринтів можна створювати зовнішні представлення для вирішення обчислювальних задач, які, наприклад, полегшують людині, яка вирішує проблему, розмірковувати про помилки, підтримують її спілкування з іншими та роблять ідеї невербально виразними. Розвивається алгоритмічне мислення, а також функціонально-логічне мислення в цілому.