Vizualizace pravě jednosměrných skákajících konečných automatů

Abstract

Pravě jednosměrné skákající konečné automaty jsou rozšířením klasických konečných automatů o možnost skokového pohybu čtecí hlavy při čtení vstupního slova. V teoretické části této práce jsou definovány deterministické i nedeterministické varianty těchto automatů. Je popsáno procházení slov a vztahy k formálním jazykům podle Chomského hierarchie. Praktická část práce je zaměřená na návrh a realizaci desktopové aplikace pro vizualizaci procházení vstupního slova pravě jednosměrnými konečnými automaty i automaty klasickými. Aplikace je naprogramována v jazyce Python s využitím frameworku PyQt6 a umožňuje uživateli prostřednictvím grafického rozhraní zadat konfiguraci automatu, která je následně vizualizována.