自动化理论：动态迷宫
动态迷宫不仅在科隆大学儿童游戏室中也在教师培训中使用（如在可计算性的讲课中）。
数学信息游戏世界“动态迷宫”为学龄前儿童到成人提供自动化以及编程基础概念的趣味引入。
以下模块类型可用于动态迷宫的构建：
- 道路模块：直线、交叉路、（左、右）曲线、（左、右）合流
- 开关模块：道岔、触发器、计数器
通过这些模块的建造能用算法解决分类问题、循环计数以及加减乘除计算（见插图）。动态迷宫是自动化理论设计的制定方案，它属于像图灵机或寄存器机一样的普遍计算模型。欧特曼定理指出，用道岔与合流这两种模块类型就能建造米利型有限状态机。在理论信息中人们也可以在霍丁网这个名字下找到动态迷宫。
通过动态迷宫的构建能够完成为解决计算问题的外部代理，如它简化解答人对错误的反思，促进与他人的交流以及使想法的非语言表达成为可能。在此，它除了促进算法思维还有总体上的功能逻辑思维。
关于动态迷宫的更多信息