Webové rozhraní porovnávání a převodů

• integrovat zadávání automatů grafickým editorem
• kontrola syntaxe
• zobrazování výsledných automatů (dot?, případně editorem rozšířeným o layout)
• test na izomorfismus (tj. sedí to na převod podle algoritmu)
• vygenerovaný řetězec pro odpovědník včetně editoru
• generovat řetězec odpovědníku i pro izomorfismus
  • v řetězci automat jemuž to má být izomorfní
• (? zlepšít čitelnost diagramů inkluzí)
• konsistentně zapisovat „NFA s ε-kroky“
• zpřístupnit CFG na webu

Administrace

• možnost uzamknout určité části vyhodnocování jen pro autentizované (skupina FJA?)
  • celkový neautentizovaný přístup, ne po typech příkladů

bugs

• DFA → DFA hodí error 500

(1,a)=2 (1,b)=3
(2,a)=4 (2,b)=5
(3,b)=1
(4,a)=6 (4,b)=6
(5,a)=4 (5,b)=7
(6,a)=6 (6,b)=9
(7,a)=4 (7,b)=7
(8,a)=2 (8,b)=5
(9,a)=6 (9,b)=9
final={1,3,4,5,6,7,9}

• pro ↑ nelze vygenerovat řetězec pro odpovědník protože není kanonizovatelný (má nedosažitelné stavy)
  • → zjistit zda je nutné aby řetězec obsahoval kanonický automat
  • pokud ne, stačilo by dodat upozornění, že automat má nedostažitelné stavy (jen řetězec pro IS bez varování bych nedával)