TY  - RPRT
TI  - Visual Execution and Validation of Finite-State Machines and Pushdown Automata
AU  - Marco T. Morazán
AU  - David Anthony K. Fields
AU  - Andrés M. Garced
AU  - Tijana Minić
PY  - 2025
DO  - 10.4204/eptcs.424.5
UR  - https://arxiv.org/abs/2508.03641
ID  - 2508.03641
ER  -