СПИСОК ЛИТЕРАТУРЫ
Cтатьи доступны при клике на их названии
И.Ю.Каширин. Применение иерархической теории чисел при построении таксономии ICF для оптимизации нейронных сетей /Вестник РГРТУ. 2022.С.118-126. (рус)
И.Ю.Каширин. Извлечение фактов из естественно-языковых текстов методом унификации семантических паттернов. Вестник РГРТУ. 2025. № 91 / Vestnik of RSREU. 2025. No 91.С.36-49. DOI: 10.21667/1995-4565-2025-91-36-49.
Формализм программных машин дает возможность математически строго описать понятие концептуальной целостности языков программирования. Формализм ориентирован на анализ базовых структур алгоритмического языка. Давайте рассмотрим структурные компоненты некоторого абстрактного языка программирования.
Система программных машин может рассматриваться в различных комбинациях как формализмы более высокого уровня. Связь между компонентами можно увидеть на уровне структуры построения элементов базовых множеств носителей алгебраических систем, уже рассмотренных ранее.
Рассмотрим использование алгебраической интерпретации языковых конструкций для PL, C, Lisp и Prolog как известных алгоритмических языков, являющихся представителями языков универсального, функционального и логического типа соответственно. Возможны оптимизирующие преобразования.
Igor Kashirin, 9 Ryumin Grove 
Ryazan region, 390005, RF