Теория S-символов: развитие и применение

Представлена новая версия теории S-символов (с дополнениями и уточнениями). Теория S-символов изучает построение взаимосвязанных систем S-(символов, кодов и сигналов) для создания формализованных языков (включая языки спецификации и программирования); символьное моделирование произвольных объектов (S-моделирование), включая системы понятий и знаний; построение символьно-кодово-сигнальной среды (S-среды); конструирование S-объектов на основе систем знаний (включая программные системы и информационные ресурсы). S-среда служит инфраструктурным основанием для решения задач исследовательской, инженерной и другой деятельности с помощью программируемых машин (S-машин). Теория S-символов рассматривается как часть методологического обеспечения разработок формализованных языков, систем знаний и др., выполняемых в S-среде. В новой версии теории добавлен раздел о формоориентированных языках с семантической разметкой (S-языках) и приведено определение системы знаний о произвольном S-объекте. Приведены примеры применения в автоматизации программирования, цифровизации системы государственного управления и экономического механизма.