dfa/main.py at master · ozan2003/dfa · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
from src.dfa import Dfa, State, minimize, save_dfa_graph


def main() -> None:
    """
    Demo for DFA minimization.
    """
    alphabet = set("ab")

    states = {
        "1": State("1", False),
        "2": State("2", False),
        "3": State("3", False),
        "4": State("4", True),
        "5": State("5", False),
        "6": State("6", True),
        "7": State("7", True),
    }

    transitions = {
        states["1"]: {"a": states["2"], "b": states["3"]},
        states["2"]: {"a": states["4"], "b": states["5"]},
        states["3"]: {"a": states["6"], "b": states["7"]},
        states["4"]: {"a": states["4"], "b": states["5"]},
        states["5"]: {"a": states["6"], "b": states["7"]},
        states["6"]: {"a": states["4"], "b": states["5"]},
        states["7"]: {"a": states["6"], "b": states["7"]},
    }

    non_minimized_dfa = Dfa(
        states["1"],
        states,
        alphabet,
        transitions,
    )

    save_dfa_graph(non_minimized_dfa, "non_minimized_dfa")

    minimized_dfa = minimize(non_minimized_dfa)

    save_dfa_graph(minimized_dfa, "minimized_dfa")


if __name__ == "__main__":
    main()