А.М. Казанцев. Алгебра компьютерного программирования.

1. Алгебра компьютерного программирования (АКП) -- это закономерности причинно-следственных отношений между понятиями используемыми для описания цепей информационных технологий (формул) и методов их осуществления (алгоритмов), а также при преобразовании первых во вторые.
2. Для выбора аксиоматики АКП необходимо и достаточно правильного понимания фундаментальных понятий ЕЯ.

4. Представители каждой информационной среды,  при обмене данными,пользуются специфическим набором выразительных средств, которые, в основе своей, одинаковы. Эти, основные для всех языков средства, выделены и использованы в качестве метаязыка. Таким образом был создан правильно формализованный естественный язык (ФЕЯ) СО АН.
5. Высказывания на ЕЯ -- триадно-иерархичны. Вопрос: -- где словарь терминов и понятий алгебры компьютерного программирования? Где понятия: лексемы; маркера ... , как упорядочиваются триады?

6. (ФЕЯ) СО АН -- это минимально необходимый набор маркеров и правил их употребления в качестве универсальной знаковой системы для описания информационных технологий. Это космополитический язык для описания любой технической, математической и вообще хорошо формализованной информации. Однако, каждый язык имеет словарь, где он? Назвать маркеры и правила их употребления.

7. Естественные языки отличаются от ФЕЯ СО АН только разнообразием морфем , связывающих элементы высказываний в синтампы (как определяемых и определяющих). Синтампы  сами могут выступать в роли определяемых и определяющих. Вся БЗ СОД СО АН , -- это глобальная синтампа. Опять таки -- не дано разъяснения понятий: морфема; синтампа ... .

8. Замечательным отличием  ФЕЯ СО АН от всех алгоритмических и прочих искусственных (неестественных) языков является глобальная контекстная связанность считавшаяся самой тайной особенностью ЕЯ. Показать эту тайну ... .

11. СОД СО АН создаёт на физическом уровне не базы данных, а более совершенные в использовании и исключительно простые в осуществлении информационные пространства -- базы знаний (БЗ) организуемые автоматически в форме однородных по своей структуре семантических сетей. В них любая пара лексем связана как причина и следствие либо явно, либо посредством других. Рёбра а таких сетях -- данные преобразуемые операциями в узлах сети. Функционирование СОД СО АН это прогон данных в семантических сетях.
12. У пользователей СОД СО АН нет необходимости проектировать логические структуры данных  кодировать их, потому что их идеальная организация осуществляется автоматически по минимально необходимому, естественному, привычному для людей описанию моделируемых объектов.

14. Сообщения, которыми обмениваются пользователи ЕЯ и ФЕЯ СО АН -- это фрагменты их БЗ (семантических сетей). Приёмник расщепляет принятое им от источника сообщение на элементарные составляющие с сохранением их семантической и функциональной связности. Они включаются БЗ приёмника с учётом глобального контекста (ГК), и таким образом информативность принятого сообщения расширяется до уровня, необходимого при конкретной алгоритмизации. Это расширение обеспечивается предварительной обученностью СОД СО АН,
15. Пользователи ЕЯ и ФЕЯ СО АН обмениваются сокращёнными сообщениями (намёками на подразумеваемую информацию, хранящуюся в памяти приёмника/источника сообщений). Этим они выравнивают свои (ГК) (обучаются) в определённой области знаний настолько, что начинают в ней одинаково понимать друг друга. 

16. На следующем этапе алгоритмизации принятое сообщение выделяется вместе с ассоциируемыми с ним лексемами БЗ, приводится к обусловленному порядку и транскрибируется с заменой внутренних лексем итоговыми.
17. Пользователи ФЕЯ СО АН обмениваются с ДОС СО АН сокращёнными сообщениями, полный смысл которых ДОС СО АН автоматически восстанавливает по правилам ЕЯ. Это позволяет осуществлять сложнейшие автоматизированные системы управления производством (АСУП) с использованием технической документации в её естественном состоянии без участия программистов и служб до компьютерной обработки используемых в (АСУП) данных.