Tato bakalářská práce se zaobírá návrhem a implementací prototypu editoru konečných automatů na iPad zařízení a následném uživatelském testováním na vytvořeném prototypu. Také obsahuje analýzu webového rozhraní knihovny ...