The field of Formal Languages and Automata Theory is experiencing a significant shift towards improving educational outcomes through innovative design support tools and visualization techniques. Recent developments have focused on creating interactive and dynamic tools to aid students in understanding complex concepts such as multitape Turing machines, regular expressions, and pushdown automata. These tools have been shown to enhance student comprehension and engagement, and have the potential to revolutionize the way these subjects are taught. Noteworthy papers include: A Design Recipe and Recipe-Based Errors for Regular Expressions, which presents a novel framework for designing regular expressions with a customized error messaging system. Visual Execution and Validation of Finite-State Machines and Pushdown Automata, which introduces dynamic visualization tools to support the design and verification of these machines.