Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов / Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում / Logical modeling of procedural programming languages and nondeterministic finite automata

Abstract

Целью диссертации является - дать определение логического языка программирования, основанного на логике предикатов первого порядка. Как пример таких языков, рассмотреть языки хорновского программирования / Որպես առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի օրինակ դիտարկվում են Հորնի ծրագրավորման լեզուները