Моделирование динамической семантики компьютерных программ
Икласова Кайнижамал Есимсеитовна - доктор PhD, доцент кафедры «Информационно-коммуникационные технологии». Северо-Казахстанский университет имени Манаша Козыбаева
Кожахметова Раушангуль Назаровна - магистр технических наук, старший преподаватель кафедры «Информационно-коммуникационные технологии». Северо-Казахстанский университет имени Манаша Козыбаева
Аннотация
В данной статье для построения динамической семантики компьютерных программ используются два подхода: первый – представление математических моделей вычислительных процессов, формируемых компьютерной программой, в виде дискретного трансформатора; второй – представление математической модели компьютерной программы в терминах функциональных грамматик. В исследовании основное внимание сосредоточено на вычислительном процессе, генерируемом компьютерной программой. Применение концепции дискретных преобразователей для описания вычислительных процессов позволяет получить математическую модель или динамическую семантику программы, которая представляет собой композицию двух дискретных систем В и В. В этом случае компонент А – компонент управления (модель блок-схемы программы), а компонент В – модель памяти программы. Разложение программы на две компоненты B и B удобно при изучении процесса моделирования вычислительного процесса. Это связано с тем, что открываются перспективы поиска инвариантов в критических узлах программы для математического доказательства корректности компьютерной программы. Сравнительный анализ двух подходов приводит к теореме о регулярности представления функции, порождаемой программой в рамках функциональной грамматики.
Ключевые слова: моделирование; математическая модель языка; динамические системы; семантика.
Для цитирования: Iklassova K. E., Kozhakhmetova R. N. Modeling the dynamic semantics of a computer program // Цифровые модели и решения. 2023. Т. 2, № 4. С. 5–12. DOI: 10.29141/2949-477X-2023-2-4-1. EDN: CDUMAE.
