A

Q

Ш

Ц

NSWE

(↓, )

_SWE

(↓, )

N_WE

(↑,1)

NWE

(↑,1)

_WE

(←, 1)

_SW

(↓, 1)

SW

(↓, 1)

_W

(→, 1)

N_E

(↑,1)

NE

(↑,1)

_E

(←, 1)

_

(←, 1)

_

(→, 1)


Обход

A

Q

Ш

Ц

NSWE

(↓,)

N_WE

(←,)

NS_E

(↓,)

N__E

(→, 1)

N_E

(↑,1)

NWE

(←, 1)

N_

(↑,1)

N_E

(→, 1)

NE

(→, 1)

NSE

(↓, 1)

SE

(↓, 1)

_E

(→, 1)

NE

(↑,1)

NW

(←, 1)


Обход

A

Q

Ш

Ц

NSWE

(↓, )

_SWE

(↓, )

_S_E

(↓, )

_W_S

(←, )

N_W_

(↓, )

NSW_

(←, )

N_WE

(↑,1)

N__E

(↑,1)

N_E

(→, 1)

__E

(→, 1)

_SE

(↓, 1)

SE

(↓, 1)

_E

(→, 1)

N_E

(↑,1)

NE

(↑,1)

_SE

(↓, 1)

S_

(↓, 1)

N__

(↑,1)

NE

(↑,1)



Теорема 2: Для любого Nmax N, существует автомат хищник с краской  Aс = Wс (R, V), который ловит любую независимую систему жертв U=(U1, …, Um)(R-1,V-1), такую, что каждая жертва принадлежит классу А1, и max{n1, n2,…, nm} ≤ Nmax, где ni – количество состояний Ui.

Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6