Commit d008f682 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

checker: Don't canonise too eagerly

parent 96271653

lib/checker.py

+16 −15
Original line number Original line Diff line number Diff line
@@ -79,6 +79,7 @@ def check_task(automaton: Union[reg.DFA, reg.NFA], task: str) -> str: 
    if task == "MIN" and not automaton.is_minimal():

    if task == "MIN" and not automaton.is_minimal():

        output = "DFA není minimální."

        output = "DFA není minimální."





    if task in {"CAN", "TOC", "MIC"}:

        canonical = automaton.is_canonical()

        canonical = automaton.is_canonical()

        if task == "CAN" and not canonical:

        if task == "CAN" and not canonical:

            output = "DFA není kanonický."

            output = "DFA není kanonický."