СПИСОК ЛИТЕРАТУРЫ
Cтатьи доступны при клике на их названии
И.Ю.Каширин. Применение иерархической теории чисел при построении таксономии ICF для оптимизации нейронных сетей /Вестник РГРТУ. 2022.С.118-126. (рус)
ICF+ онтологии, ICF+ таксономии
Программные машины
Формализм программных машин дает возможность математически строго описать понятие концептуальной целостности языков программирования. Формализм ориентирован на анализ базовых структур алгоритмического языка. Давайте рассмотрим структурные компоненты некоторого абстрактного языка программирования.
ВЗАИМОДЕЙСТВИЕ
Система программных машин может рассматриваться в различных комбинациях как формализмы более высокого уровня. Связь между компонентами можно увидеть на уровне структуры построения элементов базовых множеств носителей алгебраических систем, уже рассмотренных ранее.
Языки программирования
Рассмотрим использование алгебраической интерпретации языковых конструкций для PL, C, Lisp и Prolog как известных алгоритмических языков, являющихся представителями языков универсального, функционального и логического типа соответственно. Возможны оптимизирующие преобразования.
УНИФИКАЦИЯ
Igor Kashirin, 9 Ryumin Grove 
Ryazan region, 390005, RF