Academic Journal
Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ
| Τίτλος: | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ |
|---|---|
| Πηγή: | Труды Института системного программирования РАН. |
| Στοιχεία εκδότη: | Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук, 2015. |
| Έτος έκδοσης: | 2015 |
| Θεματικοί όροι: | АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ПРОГРАММ С ПРОЦЕДУРАМИ, СИСТЕМА ЭКВИВАЛЕНТНЫХ ПРЕОБРАЗОВАНИЙ, УРАВНОВЕШЕННАЯ МОДЕЛЬ ПРОГРАММ С ЛЕВЫМ СОКРАЩЕНИЕМ |
| Περιγραφή: | The article belongs to the theory of program schemes, which are objects designed for the analysis of formalized programs. The structure of such schemes is represented as graphs. Programs schemes with procedures are considered. A subclass of program schemes, called primitive, is defined. A methodology for the construction of full systems of equivalent transformations (E.T.) is given. This methodology is then successfully applied to construct a full system of E.T. in the primitive subclass of balanced gateway program models with left cancellation. The construction is based on the known system of E.T. for similar program models without procedures. An auxiliary type of schemes, called multiexit schemes, is used. Further research topics are given in the conclusion. В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса моделей, связанного с изученным классом моделей программ без процедур, строится полная система эквивалентных преобразований, позволяющая проводить структурный анализ формализованных программ. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | text/html |
| Γλώσσα: | Russian |
| ISSN: | 2220-6426 2079-8156 |
| Σύνδεσμος πρόσβασης: | http://cyberleninka.ru/article_covers/15899098.png http://cyberleninka.ru/article/n/razreshimost-problemy-ekvivalentnyh-preobrazovaniy-v-klasse-primitivnyh-shem-programm |
| Αριθμός Καταχώρησης: | edsair.od......2806..e66b30f39bf08b1200d3ff98af76c1be |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 22206426 20798156 |
|---|