Язык науки
sergey shishkinФормализация языка
- Привести способы внесения ограничений накладываемых на язык, повышающих эффективность виртуального синтеза алгоритмов, и указать на причину целесообразности этих ограничений;
- Выделение виртуальных аксиом как минимизация набора элементарных операций с максимально полным функциональным покрытием
- Целесообразность формальной специализации языковых структур, изоморфных алгоритмам среды и способов трансформации этих структур для синтеза нового исполнимого алгоритма.
- Построение гипотез, теорий - формирование и работа с языковой моделью - взаимно-однозначно трансляцией из некоторой предметной области (объектов и опирающихся на них алгоритмов) в символическую область (виртуальных объектов и соответствующих опирающихся алгоритмов), в рамках символических процессов которой развита система синтеза макро-алгоритмов.
- Проверка гипотез и теорий обратной трансляцией символических макро-алгоритмов и виртуальных объектов обратно в исходную область (Экспериментальная проверка, Внедрение, Применение на практике, "Открытие на кончике пера")
- трансляция макро-алгоритмов между изоморфными виртуальными модельными областями с различием специализации символических процессов синтеза.
Примеры виртуальных аксиоматических систем синтеза:
- арифметика (числа и операции с ними),
- алгебра (универсализация вычислительных алгоритмов),
- силлогизмы (процедуры логического вывода высказываний),
- исчисление высказываний и предикатов
- физические модели