Die Dynamischen Labyrinthe kommen u.a. im MINT-Kinderzimmer der Universität zu Köln wie auch in der Lehramtsausbildung (z.B. in der Vorlesung Berechenbarkeit) zur Anwendung.

Bedeutender Satz aus der Automatentheorie / Theoretischen Informatik: Die Dynamischen Labyrinthe sind berechnungsuniversell. D.h. zu jeder berechenbaren Funktion kann (im Prinzip, die notwendigen Ressourcen wie Zeit und Baumaterial vorausgesetzt) ein Dynamisches Labyrinth zur Berechnung dieser Funktion gebaut werden. Elmar Cohors-Fresenborg, der seinerzeit am Lehrstuhl "Mathematische Logik und Grundlagenforschung" von Dieter Rödding, Universität Münster, tätig war, hat dieses mächtige Konzept aus der Automatentheorie für die Schule aufbereitet in "echte" Bausteine überführt.

Die mathematisch-informatische Spielwelt "Dynamische Labyrinthe" bietet eine spielerische Einführung in grundlegende Begriffe der Automatisierung und Programmierung ab dem Vorschulalter bis zum Erwachsenenalter.

Zur Konstruktion von Dynamischen Labyrinthen können folgende Baustein-Typen verwendet werden:

• Weg-Bausteine: Gerade,Kurve (rechts, links), Einmündung (rechts, links), Kreuzung
• Schalter-Bausteine: Flip-Flop, Weiche, Zähler

Mit Konstruktionen aus diesen Bausteinen können u.a.  Sortier-Probleme, periodisches Zählen, Addition (s. Abbildung), Subtraktion, Multiplikation oder Division algorithmisch gelöst werden.
Die Dynamischen Labyrinthe sind die enaktive Variante eines automatentheoretischen Konzeptes. Sie gehören zu den universellen Berechnungskonzepten wie Turing-Maschine oder Registermaschine.
Der Satz von Ottmann besagt, dass mit den beiden Bausteintypen Weiche und Einmündung alle Mealy-Automaten nachgebaut werden können. In der theoretischen Informatik findet man die Dynamischen Labyrinthe auch unter dem Namen Rödding-Netze.

Mit der Konstruktion von Dynamischen Labyrinthen können externe Repräsentationen zur Lösung von Berechnungsproblemen erstellt werden, die der problemlösenden Person z.B. ihre Reflexion von Fehlern vereinfachen, ihre Kommunikation mit anderen unterstützen und Ideen nonverbal ausdrückbar machen. Gefördert werden dabei das algorithmische Denken wie auch allgemein das funktional-logische Denken.