5

C. Bäckström and P. Jonsson

Artiﬁcial Intelligence 302 (2022) 103608

f1(00) = f1(01)

f1(10) = f1(11)

G2:

0

a

1

a

G1: 00

01

10

11

f3(01)

f3(10)

f3(00)

f3(11)

6

1

5

2

4

3

G3:

7

0

G1: 00

a

01

a

10

11

Fig. 1. The functions f1 (top) and f3 (bottom) in Example 3.

c

b

d

b

6
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen