Универсальная минимальная модель вычисления.

[deep_econom]

Морфизм=стрелка=(упорядоченная пара)= (*,*)
Ветвление = (набор/комплекс/конгломерат) морфизмов между морфизмами.

Теперь для моделирования машины Тьюринга любой минимальной моделью вычислений, необходимы две вещи:
1. изменение состояний (это суть любого вычисления). Т.е. нужны морфизмы.
2. ветвление, морфизмы между морфизмами.

Т.е. в такой модели можно моделировать машину Тьюринга (МТ).
Ну и соответственно, модель вычислений на псевдографах (метаграфах, кодографах, КоТографах) универсальна, поскольку машина Тьюринга (МТ) моделируется.
Т.е. модель не является узкой, не является уже машины МТ.

Точно ли модель шире, чем МТ? Не знаю. Пока без разницы. Но кажется, что потенциально может быть шире.
Если вдруг окажется, что шире. То это будет очень интересно. ))

Но может и не шире. Контраргумент.
Поскольку в МТ есть ветвление и смена состояний. То, скорее всего эквивалентно.

Тезисы.
1. Минимальная модель универсального вычислителя всегда содержит операции изменение состояний и ветвление.
2. Для универсальности модели вычислений необходимо, чтобы модель включала в себя морфизмы и морфизмы морфизмов.

--
Вычисления = мутация + коммутация. (с) deep_econom
Коммутаторы= коннекторы + селекторы. (с) deep_econom

Коммутаторы обеспечивают коммутацию и мутацию.
https://deep-econom.livejournal.com/1203813.html
--
Что такое присваивание? Присваивание как морфизм.
https://deep-econom.livejournal.com/1204502.html

Ветвление = набор морфизмов между морфизмами.
https://deep-econom.livejournal.com/1204502.html?thread=6618390#t6618390
--