Հայաստանի ատենախոսությունների բաց մատչելիության պահոց = Open Access Repository of the Armenian Electronic Theses and Dissertations (Armenian ETD-OA) = Репозиторий диссертаций Армении открытого доступа

Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում

Նիգիյան, Արամ Վիգենի (2009) Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում. PhD thesis, ԵՊՀ.

[img]
Preview
PDF (Abstract)
Available under License Creative Commons Attribution.

Download (217Kb) | Preview

    Abstract

    Տրվում է առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի ֆորմալ սահմանումը: Որպես առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի օրինակ դիտարկվում են Հորնի ծրագրավորման լեզուները: Քննարկվում է Հորնի ծրագրավորման ՊՐՈԼՈԳ լեզուն և նրա U0 ինտերպրետատորը: Պրոցեդուրային ծրագրավորման լեզուն սահմանվում է որպես առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզու: Ապացուցվում է այդպիսի սահմանման կոռեկտությունը: Ապացուցվում է նաև, որ ցանկացած պրոցեդուրային ծրագիր ունի փոքրագույն մոդել և որ պրոցեդուրային ծրագրավորման լեզվի ինտերպրետատորը լրիվ է ու անհակասելի: Ոչ դետերմինացված վերջավոր ավտոմատները սահմանվում են որպես Հորնի ծրագրավորման լեզու: Ապացուցվում է այդպիսի սահմանման կոռեկտությունը: Ապացուցվում է U0 ինտերպրետատորի ոչ լրիվությունը ոչ դետերմինացված վերջավոր ավտոմատներին համապատասխանող Հորնի ծրագրավորման լեզվի դեպքում: Ապացուցվում է նաև, որ գոյություն ունի ոչ դետերմինացված վերջավոր ավտոմատ, որը չունի օպտիմալ ստանդարտ ներկայացում U0–ի համար, ցանկացած դետերմինացված վերջավոր ավտոմատ ունի U0–ի համար օպտիմալ ստանդարտ ներկայացում և վերջավոր ավտոմատի ամեն մի ստանդարտ ներկայացում օպտիմալ է U0–ի համար: Тема диссертационной работы посвящена логическому моделированию процедурных языков программирования и недетерминированных конечных автоматов. Процедурные программы представлялись в виде логических формул в работах Р. Флойда, С. Хоора, З. Манны для исследования логической семантики языков программирования. Представление недетерминированных конечных автоматов в виде логических программ можно найти в работе . Представляет интерес определить процедурные языки программирования и недетерминированные конечные автоматы как логические языки программирования, что даст возможность исследовать свойства интерпреторов этих языков программирования такие как: непротиворечивость, полнота и др. Естестественно, что должна быть доказана корректность такого определения, т. е. в каком смысле логический язык программирования соответствует моделируемым нами объектам. Очевидно, что определяя логический язык программирования для рассматриваемых нами объектов, мы получаем возможность исследовать различные свойства моделируемых объектов, используя возможности соответствующего им логического языка программирования. Подобные исследования полезны еще и тем, что дают возможность осознанно включать рассматриваемые нами объекты в базы знаний, заранее зная, что "можно ожидать" от того или иного интерпретатора. Дать определение логического языка программирования, основанного на логике предикатов первого порядка. Как пример таких языков, рассмотреть языки хорновского программирования. Процедурный язык программирования определить как логический язык программирования, основанный на логике предикатов первого порядка. Доказать коррекность такого определения. Исследовать интерпретатор процедурного языка программирования с логической точки зрения.

    Item Type: Thesis (PhD)
    Additional Information: Ծրագրավորման պրոցեդուրային լեզուների և ոչ դետերմինացված վերջավոր ավտոմատների տրամաբանական մոդելավորում: Logical modelling of procedural programming languages and nondeterministic finite automata.
    Uncontrolled Keywords: Նիգիյան Արամ Վիգենի, Nigiyan Aram V.
    Subjects: Mathematics and Cybernetics
    Divisions: UNSPECIFIED
    Depositing User: NLA Circ. Dpt.
    Date Deposited: 15 Mar 2017 13:23
    Last Modified: 15 Mar 2017 14:03
    URI: http://etd.asj-oa.am/id/eprint/4276

    Actions (login required)

    View Item