Макрообъект "Лента"

В tapeMacro​ выделимы ячейки celli​Macro​:

∀ i∈Z:

celli​Macro​⊂tapeMacro​

[Link(⟨celli​Macro​⟩)]SomeLink​

celli​Macro​∼cellMacro​

∀ i1,i2∈Z:celli1​Macro​ ∩ celli2​Macro​​

В каждой ячейке может быть закодирован символ конечного алфавита (с общим количеством символов равным KK). Символ будет кодироваться наличием связей под-объектов ячейки. Для упрощения записи, но без потери общности рассмотрим алфавит состоящий из двух символов [Letterk​], где k∈[1…K], K=2. При этом для удобства обозначим [LetterA]≡[Letter1​] и [LetterB]≡[Letter2​]. Символы будем кодировать наличием связи между двумя объектами obj_cell2 множества cellMacro​:

[LetterA](cellMacro​)≡Link(obj_cell1,obj_cell2)

[LetterB](cellMacro​)≡Link(obj_cell1,obj_cell2)​

https://telegra.ph/Obshchaya-teoriya-algoritmov-01-20