Vizualizace pravě jednosměrných skákajících konečných automatů - Drápal, Jiří (2025)