Backend vyhodnocovátka FA
obecná vylepšení
- dávat 2 příklady slov z jazyků (na jednoslovné upozornit)
- převod NFA -> DFA
-
zkontrolovat správnost reprezentace množin ve stavech (stav B_D
vs.D_B
– měl by existovst jen jeden) -
stavy jako množiny v hranatých závorkách?
-
-
test na izomorfismus (tj. sedí to na převod podle algoritmu) - v řetězci zadání automat jemuž to má být izomorfní
-
statistiky používání (nice to have)? -
výstup převodů by měl odpovídat algoritmům, bez dodatečné minimalizace (např: převodem a^* má vzniknout automat s 3 stavy, 2 ε-přechody)
syntax
-
dovolit init
afinal
kdekoli v definici
Edited by Vladimír Štill