ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Logically Definable Languages of Computations in one Class of Flow Event Structures

Shahbazyan, K. V. and Shoukourian, Yu. H. (2002) Logically Definable Languages of Computations in one Class of Flow Event Structures. ՀՀ ԳԱԱ Զեկույցներ, 102 (1). pp. 16-22. ISSN 0321-1339

[img]PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
292Kb

Abstract

Դիտարկվում են բախշված համակարգերի մոդելներից մեկի` համասեռ պատահարային կառուցվածքների, հաշվարկների լեզուները և նրանց տրամաբանական ներկայացումը: Ապացուցվում է, որ անվերջ կոնֆիգուրացիաների լեզուները ներկայացվում են մեկտեղանի երկրորդ կարգի պրեդիկատների տրամաբանության մեջ: Ապացուցող հաջորդականությունների լեզուները ներկայացվում են վերջավոր մեկտեղանի պրեդիկատներով ընդլայնված Պրեսբուրգերի տրամաբանությունում: Рассматриваются языки вычислений в одном классе моделей распределенных вычислений - однородных событийных структур - и их представимость в логических языках. Языки бесконечных конфигураций представимы в логике одноместных предикатов второго порядка. Языки доказывающих последовательностей представимы в логике Пресбургера, дополненной конечным множеством одноместных предикатов.

Item Type:Article
Additional Information: Հոսքային պատահարային կառուցվածքների հաշվարկների լեզուների տրամաբանական ներկայացումը։ Представление языков вычислений в одном классе событийных структур в логических языках.
Uncontrolled Keywords:Շահբազյան Կ. Վ., Շուքուրյան Յու. Հ., Шахбазян К. В., Шукурян Ю. Г.
Subjects:Q Science > QA Mathematics
ID Code:553
Deposited By:NAS Reports
Deposited On:07 Jul 2011 14:42
Last Modified:13 Mar 2014 08:17

Repository Staff Only: item control page