Brzozowski (RRG)
Pokud tento (a podařilo se mi jich bruteforcem vygenerovat víc) automat na vstupu převedu na RE a pak pomocí derivací na RRG, snaží se algoritmus vytvořit pravidlo, které už existuje.
Při pokusu o debug se regexpy i transitions vypisují v divném pořadí - asi špatně regexp comparator?
Pokoušel jsem se najít nějaký minimální automat/výraz, který by měl tu samou chybu, ale neúspěšně.