Главное в любых теориях.

Главное во всех теориях, во всех логиках, во всех моделях.
(теория как система аксиом и множества теорем и следствий)

1. Генерация нового.
2. Редукция.
3. Эквивалентность.

Генерация: введение новых сущностей, объектов, правил, операций, имён, (удлинение).

Редукция (сокращение): переобозначение, приписывание имён, обозначение цепочек другими именами, упрощение, (укорочение).

Эквивалентность. Определение механизма установления равенства объектов или процессов.
(Установление/определение) (процедуры/механизма) (тождественности/эквивалентности/похожести/равенства).

========
ps1
см.
Универсальный метод анализа и синтеза моделей.
https://deep-econom.livejournal.com/747068.html

Суть вводим базовые модели, все остальное описываем как комбинацию базовых моделей.
Сокращение описания осуществляем путем переобозначения больших конструкций и цепочек символов, т.е. вводим новые термины и понятия.

ps2
Минимальные модели вычислений.
https://deep-econom.livejournal.com/870230.html

О минимальной системе понятий.
https://deep-econom.livejournal.com/921972.html
---

Замыкаем пункты 1-3

1. Генерация нового.
2. Редукция.
3. Эквивалентность.

на пункты 1-2
1. ветвление
2. изменение памяти

Абстрактный универсальный вычислитель = ((ветвление) + (изменение памяти)).

Генерация и редукция реализуется изменением памяти.
Эквивалентность реализуется ветвлением(сравнением).