ОТМ. Полная морфология скобочных конструкций

В. К. ПЕТРОСЯН (Вадимир). Общая теория металогарифмов. В 2 тт.


*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и техническом участии) ChatGPT (OpenAI), GPT-5.6 Sol

****


ПОЛНАЯ МОРФОЛОГИЯ СКОБОЧНЫХ КОНСТРУКЦИЙ

1. Назначение скобочной морфологии
В OTM-TN скобки являются не только средством визуальной группировки.

Они обладают собственной структурной семантикой.

Основной принцип:

(...)

параметры и аргументы;

[...]

каскады, последовательности и структурные профили;

{...}

законы, условия и модификаторы.

При переходе к более высокому структурному уровню число повторяющихся скобок увеличивается:

(...)

((...))

(((...)))

и аналогично для других типов.

Так возникает понятие:

скобочного ранга.

Скобочный ранг относится к уровню структурного представления и не должен смешиваться:

с рангом металогарифма;

с числом итераций;

с экспликационным рангом.

2. Круглые скобки первого уровня
Базовая форма:

(...)

используется для параметров оператора.

Например:

ML(A=2,SL=2,R=3,I=2)

Здесь скобки содержат параметрическое состояние операции.

Другой пример:

SML(N^2)

В этом случае скобки группируют составной аргумент.

Круглые скобки поэтому могут выполнять две близкие функции:

параметрическую;

арифметико-синтаксическую группировку.

Контекст должен позволять различить их однозначно.

3. Квадратные скобки первого уровня
Базовая форма:

[...]

используется для структурированных последовательностей.

Например:

[PC1 ][ PC2 ][ PC3]

описывает степенной каскад.

Также квадратные скобки используются в профилях:

RP[2,4,8,16]

IP[1,2,4,8]

MP[MA,MR,MI]

Общий смысл:

упорядоченная структурная совокупность объектов одного смыслового уровня.

4. Фигурные скобки первого уровня
Базовая форма:

{...}

используется для правил.

Например:

{TL:A_next=X}

или:

{TL:A_next=X;EL:R_next=R^2}

Внутри фигурного блока могут находиться:

законы перехода;

законы эволюции;

модификаторы;

условия;

служебные правила.

Принцип:

{...}

отвечает преимущественно на вопрос:

по каким правилам работает конструкция?

5. Три базовые координаты записи
Полная конструкция:

ML(A=2,SL=2,R=3,I=2)[PC1 ][ PC2]{TL:A_next=X}

может быть разделена на три морфологических слоя:

(...)

что задано параметрически;

[...]

как устроена структура;

{...}

по каким законам она изменяется.

Таким образом общая форма:

OPERATION(parameters)[structure]{laws}

является фундаментальной морфологической схемой OTM-TN.

6. Пустые блоки
Если некоторый структурный слой не нужен, соответствующий блок рекомендуется опускать.

Например:

SML 10

лучше, чем:

SML(10)[]{}

если пустые блоки не несут информации.

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

7. Вложенные круглые скобки
Обычная арифметическая или функциональная вложенность:

SML(N^2)

или:

ML(A=f(N),R=g(N))

не является автоматически скобочным рангом второго уровня.

Необходимо различать:

обычную вложенность

и:

ранговое удвоение скобок.

Например:

((A=N,R=N))

может использоваться как параметрический блок более высокого структурного уровня.

Точный смысл такого блока должен определяться грамматикой соответствующего метауровня.

8. Круглые скобки второго уровня
Форма:

((...))

предназначается для параметров метаобъекта либо объединения нескольких параметрических блоков первого уровня.

Концептуальный пример:

META((A=N,R=N),(A=M,R=M))

Если такая форма используется нормативно, внешний уровень работает уже не с отдельными значениями параметров, а с целыми параметрическими конфигурациями.

9. Квадратные скобки второго уровня
Форма:

[[...]]

используется для структур второго порядка.

Например:

[[C1][C2][C3]]

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

Это отличается от:

[C1,C2,C3]

где имеется обычный список элементов первого уровня.

Следовательно:

[...]

структура;

[[...]]

структура структур.

10. Фигурные скобки второго уровня
Форма:

{{...}}

предназначается для метаправил.

Если:

{TL:A_next=X}

управляет переходом объекта,

то:

{{META_LAW:select(TL)}}

может концептуально управлять выбором самого закона.

Это переход:

LAW

-> META_LAW

В текущем OTM-TN конкретный словарь метазаконов ещё требует дальнейшей стандартизации.

11. Третий скобочный ранг
Аналогично:

(((...)))

[[[...]]]

{{{...}}}

обозначают третий структурный уровень.

Общий принцип:

если объект уровня N содержит целостные объекты уровня N-1 как свои элементарные структурные единицы, число повторяющихся скобок может быть увеличено.

12. Общий скобочный ранг
Для произвольного уровня:

BR=N

где BR здесь используется только как пояснительное обозначение Bracket Rank и не вводится настоящим приложением в нормативный реестр OTM-TN.

Тогда:

N пар круглых скобок

могут обозначать параметрическую структуру уровня N;

N пар квадратных:

структурную;

N пар фигурных:

правиловую.

Например, схематически:

((((...))))

означает четвёртый скобочный уровень.

13. Скобочный ранг не означает бесконечность
Теоретически можно определить:

первый;

второй;

третий;

N-й

скобочные ранги.

Это не означает, что в одной конечной записи реально присутствует бесконечно много скобок.

Любое конкретное выражение остаётся конечным.

Открытой является лишь возможность построения следующего уровня.

14. Оператор каскадного соединения
Особая конструкция:

][

означает соединение двух структурных блоков.

Например:

PC1 ][ PC2

читается:

результат или состояние PC1 передаётся в PC2 по установленному правилу.

Смысл:

][

не арифметический.

Он является структурным.

15. Цепочка соединений
Форма:

PC1 ][ PC2 ][ PC3

определяет последовательный каскад.

Если законы передачи одинаковы, они могут быть заданы один раз.

Если различаются:

каждый переход должен иметь собственную семантику.

16. Сцепленные формы
Можно использовать:

[C1 ][ C2]

для выделения целой последовательности как одной структуры.

Далее она может включаться в более высокий блок:

[[C1 ][ C2][C3 ][ C4]]

При машинной формализации потребуется строго определить границы каждого внутреннего блока.

Поэтому предпочтительной будущей нормальной формой может стать более явная структуризация.

17. Простое перечисление и каскад
Следует различать:

[C1,C2,C3]

и:

[C1 ][ C2 ][ C3]

Первое:

перечисление.

Второе:

каскадная передача.

Их семантика не совпадает.

18. Параллельные структуры
Для параллельной композиции одного лишь:

][

недостаточно, поскольку этот оператор выражает последовательную передачу.

Параллельность должна задаваться отдельной структурой или законом.

Например концептуально:

[C1,C2,C3]{MODE:PARALLEL}

Однако конкретная нормативная форма параллельности должна быть утверждена будущей версией языка.

19. Вложенный каскад
Пример:

[C1[C2][C3]]

может визуально описывать вложенность, но без дополнительной грамматики подобная запись способна стать неоднозначной.

Поэтому для сложной вложенности предпочтительно использовать:

скобочные ранги;

явные связи;

именованные блоки.

20. Параметр внутри каскада
Допустима конструкция:

[PC(A=2) ][ PC(A=X)]

Здесь каждый элемент каскада имеет собственный параметрический блок.

Таким образом скобочные типы могут комбинироваться:

[...]

структура

содержит:

(...)

параметрические локальные блоки.

21. Законы локального блока
Аналогично:

PC(A=2){TL:A_next=X}

может выступать элементом более крупного каскада.

Таким образом полный локальный блок:

OP(...)[...]{...}

сам может стать единицей:

[...]

более высокого уровня.

22. Морфологическое сворачивание
Пусть имеется:

ML(A=2,R=3)[PC1 ][ PC2]{TL:A_next=X}

На следующем уровне вся конструкция может рассматриваться как:

C1

Тогда:

[C1 ][ C2]

представляет уже каскад кодонов.

Это пример семантического подъёма.

Морфологически:

внутренняя сложная скобочная конструкция

становится:

одним элементом внешней структуры.

23. Скобки и экспликационные уровни
Скобочный ранг и экспликационный уровень связаны только косвенно.

Высокий скобочный ранг может использоваться для записи метаструктуры.

Но:

BR=3

не означает автоматически:

ER=3

Экспликационный ранг определяется минимальным языком представления.

Скобочный ранг является лишь синтаксическим механизмом OTM-TN.

24. Скобки и ранг металогарифма
Аналогично:

R=100

не требует ста пар скобок.

Ранг означает внутреннюю операционную глубину.

Скобки описывают синтаксическую организацию записи.

Поэтому:

R

и:

скобочный ранг

являются независимыми понятиями.

25. Правило сбалансированности
Каждая открытая скобка должна иметь соответствующую закрывающую.

Недопустимы конструкции:

ML(A=2,R=3

или:

[C1 ][ C2

если они не являются намеренно незавершёнными фрагментами.

Для машинного языка сбалансированность является обязательным условием синтаксической корректности.

26. Правило типовой согласованности
Закрывающая скобка должна соответствовать типу открывающей.

Недопустимо:

(A=2]

или:

[C1}

Это элементарное лексическое правило OTM-TN.

27. Правило скобочного уровня
Если повторяющиеся скобки имеют метауровневое значение, количество открывающих и закрывающих скобок должно совпадать.

Например:

[[C1][C2]]

корректно.

[[C1][C2]

некорректно.

28. Морфологический шаблон первого уровня
Полный шаблон:

OP(PARAMETERS)[STRUCTURE]{LAWS}

Например:

ML(A=2,SL=2,R=3,I=2)[PC1 ][ PC2]{TL:A_next=X}

29. Морфологический шаблон второго уровня
Концептуально:

META((PARAMETER_BLOCKS))[[STRUCTURES]]{{META_LAWS}}

Этот шаблон показывает принцип развития языка, но конкретные коды META-уровня должны вводиться отдельно.

30. Морфологическая иерархия
Итоговая схема:

(...) -> parameter

[...] -> structure

{...} -> rule

далее:

((...)) -> meta-parameter

[[...]] -> meta-structure

{{...}} -> meta-rule

далее:

(((...)))

[[[...]]]

{{{...}}}

и так далее.

Главный принцип:

повторение скобочного слоя переводит объект из содержания текущего уровня в объект следующего структурного уровня.