TY - RPRT TI - Correcting Deterministic Finite Automata for Didactic Feedback AU - Maurice Bornett Herwig AU - Norbert Hundeshagen PY - 2026 DO - 10.4204/eptcs.451.6 UR - https://arxiv.org/abs/2610.06714 ID - 2610.06714 ER -