@misc{indiciae6cdf13aaeb25,
  title = {Visual Execution and Validation of Finite-State Machines and Pushdown Automata},
  author = {Marco T. Morazán and David Anthony K. Fields and Andrés M. Garced and Tijana Minić},
  year = {2025},
  doi = {10.4204/eptcs.424.5},
  url = {https://arxiv.org/abs/2508.03641},
  note = {Source identifier: 2508.03641}
}