/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-2021-06-15/2/automat02.txt

00 11 01 10

00  11
11  01
01  10
10  00

ba  b
00  1
11  0
01  1
10  0

ba  a
00  1
11  1
01  0
10  0


ba  b
00  1
01  1

ba  a
00  1
11  1

a := (a and b) or (not a and not b)
b := not b