a, Trạng thái: Gọi nhà truyền giáo, quỷ, thuyền là a, b,c ( số lượng sẽ thêm vào trước quy ước)

(ĐK: N*a >= N*b, c > 0 && c < 3). ( N là số lượng ).

b, Trạng thai đầu:
3a, 3b -, - -,-

c, Trạng thai đích:

-, - -, - 3a, Nb

d, Mô tả:
 Ban đầu ở bờ bên này có 3 truyền giáo, 3 con quỷ:
B1: Bờ 1 sang bờ 2: (3a, 3b | -, -| 0a, 0b) Bờ 1
 TH1: 1a và 1b (thỏa mãn):
o B2: Từ bờ 2 sang bờ 1 (2a, 2b | -, -| 1a, 1b) Bờ 2
 TH1: 1a và 1b (k thỏa mãn)
 TH2: 1b (k thỏa mãn)
 TH3: 1a (thoả mãn)
 B3: Từ bờ 1 sang bờ 2 (3a, 2b | -, -| 0a, 1b) Bờ 1
 TH1: 2a (k thỏa mãn)
 TH2: 1a và 1b (k thỏa mãn)
 TH3: 2b (thỏa mãn)
 B4: từ bờ 2 sang bờ 1 (3a,0b | -, -| 0a, 3b) Bờ 2
o TH1: 1b (thỏa mãn)
o B5: từ bờ 1 sang bờ 2 (3a,1b | -, -| 0a, 2b) Bờ 1
 TH1: 1a và 1b (k thỏa mãn)
 TH2: 1a (k thỏa mãn)
 TH3: 1b ((=> lặp đến B4-TH1 (3a,0b | -, -| 0a, 3b))
 TH4: 2a (thỏa mãn)
 B6: Từ bờ 2 kia sang bờ 1 (1a,1b | -, -| 2a, 2b) Bờ 2
 TH1: 2b(k thỏa mãn)
 TH2: 2a ((=> lặp đến B5-TH1 (3a,1b | -, -| 0a, 2b))
 TH3: 1a (k thỏa mãn)
 TH4: 1b (k thỏa mãn)
 TH5: 1a và 1b (thoả mãn)
 B7: từ bờ 1 sang bờ 2 (2a,2b | -, -| 1a, 1b) Bờ 1
o TH1: 2a (Hoàn thành) (0a,2b | -, -| 3a, 1b)
o TH2: 2b (k thỏa mãn)
o TH3: 1a (k thỏa mãn)
 o TH4: 1b (k thỏa mãn)
o TH5: 1a và 1b (thỏa mãn)
o B8: Từ bờ 2 sang bờ 1 (1a,1b | -, -| 2a, 2b). Bờ 2
 TH1: 1a (k thỏa mãn)
 TH2: 1b (k thỏa mãn)
 TH3: 1a và 1b (=> lặp đến B7-TH1
(2a,2b | -, -| 1a, 1b))
 TH4: 2a ((=> lặp đến B5-TH1 (3a,1b | -,
-| 0a, 2b))
 TH5: 2b (k thỏa mãn)
o TH2: 2b (thỏa mãn)
o B5: từ bờ 1 sang bờ 2 (3a,2b | -, -| 0a, 1b) Bờ 1
 TH1: 2a (k thỏa mãn)
 TH2: 2b ((=> lặp đến B4-TH1 (3a,0b | -, -| 0a, 3b) )
 TH3: 1a và 1b (k thỏa mãn)
 TH4: 1b (thỏa mãn)
o B4:Bờ 2 sang Bờ 1 (3a, 1b | -, -| 0a, 2b) Bờ 2
 TH1: 2b (=> lặp đến B1-TH1 (3a, 3b | -, -| 0a, 0b))
 TH2: 1b (=> lặp đến B3-TH! (3a, 2b | -, -| 0a, 1b))
 TH5: 1a ((=> lặp đến B2-TH1 (2a, 2b | -, -| 1a, 1b))

 TH2: 2a (k thỏa mãn)

 TH3: 2b (thỏa mãn)
o B2: Bờ 2 sang bờ 1(3a, 1b | -, -| 0a, 2b) Bờ 2
 TH1: 2b (=> lặp lại B1-TH1 (3a, 3b | -, -| 0a, 0b))
 TH2: 1b (thỏa mãn)
 B3: Bờ 1 sang bờ 2 (3a, 2b | -, -| 0a, 1b) Bờ 1
 TH1: 1a và 1b (k thỏa mãn)
 TH2: 2a (k thỏa mãn)
 TH3: 2b (=> lặp đến B4-TH1) (3a, 0b | -, -| 0a, 3b)
 TH4: 1a (k thỏa mãn)
 TH5: 1b (thỏa mãn)
o Bờ 2 sang bờ 1: (3a, 2b | -, -| 0a, 1b) Bờ 2
 TH1: 1b (=> lặp đến B1-TH1) (3a, 3b | -, -| 0a, 0b)

e, Không gian trạng thái:

 3a,3b | -, -| 0a, 0b

2a,2b |-,-| 1a,1b 3a,1b |-,-| 0a,2b 3a,2b |-,-| 0a,1b

3a,2b |-,-| 0a,1b 3a,3b |-,-| 0a,0b 3a,2b |-,-| 0a,1b 3a,0b |-,-| 0a,3b

3a,1b |-,-| 0a,2b

3a,0b |-,-| 0a,3b
3a,1b |-,-| 0a,2b 2a,2b |-,-| 1a,1b 3a,0b |-,-| 0a,3b

3a,1b |-,-| 0a,2b 3a,2b |-,-| 0a,1b

3a,2b |-,-| 0a,1b 3a,3b |-,-| 0a,0b

3a,0b |-,-| 0a,3b

1a,1b |- -| 2a,2b

2a,2b |-,-| 1a,1b

1a,1b |-,-| 2a,2b

B
0a,2b |-,-| 3a,1b

0a,3b |-,-| 3a,0b 2a,2b |-,-| 1a,1b

0a,1b |-,-| 3a,2b 0a,2b |-,-| 3a,1b

 0a,2b |-,-| 3a,1b 1a,1b |-,-| 2a,2b 0a,3b |-,-| 3a,0b

0a,0b |-,-| 3a,3b