/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/fsm/fsm/2021-04-21quine-state-.../aufgx2.txt

1   2   7   1
2   4   2   0
3   4   6   0
4   3   6   0
5   4   3   1
6   2   5   1
7   3   4   1

(1,5)   (2,4)   (7,3)
(1,6)   (2,2)   (7,5)
(1,7)   (2,3)   (7,4)
(5,6)   (4,2)   (3,5)
(5,7)   (4,3)   (3,4)
(6,7)   (2,3)   (5,4)
(2,3)   (4,4)   (2,6)
(2,4)   (4,3)   (2,6)
(3,4)   (4,3)   (6,6)


(1,5)   (2,4)   (3,7)
(1,6)   (5,7)
(1,7)   (2,3)   (4,7)
(5,6)   (2,4)   (3,5)
(5,7)   (3,4)   (3,4)
(6,7)   (2,3)   (4,5)
(2,3)   (2,6)
(2,4)   (3,4)   (2,6)
(3,4)   (3,4)

(1,5)   (2,4)   -3,7-
(1,6)   (5,7)
(1,7)   (2,3)   -4,7-
(5,6)   (2,4)   -3,5-
(5,7)   (3,4)   (3,4)
(6,7)   (2,3)   -4,5-
(2,3)   -2,6-
(2,4)   (3,4)   -2,6-
(3,4)   (3,4)

-1,5-   (2,4)   -3,7-
(1,6)   (5,7)
-1,7-   (2,3)   -4,7-
-5,6-   (2,4)   -3,5-
(5,7)   (3,4)   (3,4)
-6,7-   (2,3)   -4,5-
-2,3-   -2,6-
-2,4-   (3,4)   -2,6-
(3,4)   (3,4)   

-1,5-   -2,4-   -3,7-
(1,6)   (5,7)
-1,7-   (2,3)   -4,7-
-5,6-   (2,4)   -3,5-
(5,7)   (3,4)   (3,4)
-6,7-   (2,3)   -4,5-
-2,3-   -2,6-
-2,4-   (3,4)   -2,6-
(3,4)   (3,4)   

Also, die Zustandsfolge: (1,6)->(5,7)->(3,4) lässt sich vereinfachen.