Аксиоматические модели и методы проектирования языковых трансляторов
Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем. Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних тр...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1297 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1297 |
|---|---|
| record_format |
dspace |
| spelling |
Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. 2008-07-24T16:33:36Z 2008-07-24T16:33:36Z 2003 Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1297 Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем. Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем. Application of logical methods and formal system theory methods used to design of language translators are considered. An analogue of a resolution method for elementary systems is proposed. ru Інститут програмних систем НАН України Теоретические и методологические основы программирования Аксиоматические модели и методы проектирования языковых трансляторов Аксіоматичні моделі та методи проектування мовних трансляторів Axiomatic models and methods used to design of language translators Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Аксиоматические модели и методы проектирования языковых трансляторов |
| spellingShingle |
Аксиоматические модели и методы проектирования языковых трансляторов Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. Теоретические и методологические основы программирования |
| title_short |
Аксиоматические модели и методы проектирования языковых трансляторов |
| title_full |
Аксиоматические модели и методы проектирования языковых трансляторов |
| title_fullStr |
Аксиоматические модели и методы проектирования языковых трансляторов |
| title_full_unstemmed |
Аксиоматические модели и методы проектирования языковых трансляторов |
| title_sort |
аксиоматические модели и методы проектирования языковых трансляторов |
| author |
Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. |
| author_facet |
Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. |
| topic |
Теоретические и методологические основы программирования |
| topic_facet |
Теоретические и методологические основы программирования |
| publishDate |
2003 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Аксіоматичні моделі та методи проектування мовних трансляторів Axiomatic models and methods used to design of language translators |
| description |
Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.
Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем.
Application of logical methods and formal system theory methods used to design of language translators are considered. An analogue of a resolution method for elementary systems is proposed.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1297 |
| citation_txt |
Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. |
| work_keys_str_mv |
AT parasûkin aksiomatičeskiemodeliimetodyproektirovaniââzykovyhtranslâtorov AT provotarai aksiomatičeskiemodeliimetodyproektirovaniââzykovyhtranslâtorov AT kondratenkova aksiomatičeskiemodeliimetodyproektirovaniââzykovyhtranslâtorov AT parasûkin aksíomatičnímodelítametodiproektuvannâmovnihtranslâtorív AT provotarai aksíomatičnímodelítametodiproektuvannâmovnihtranslâtorív AT kondratenkova aksíomatičnímodelítametodiproektuvannâmovnihtranslâtorív AT parasûkin axiomaticmodelsandmethodsusedtodesignoflanguagetranslators AT provotarai axiomaticmodelsandmethodsusedtodesignoflanguagetranslators AT kondratenkova axiomaticmodelsandmethodsusedtodesignoflanguagetranslators |
| first_indexed |
2025-12-07T16:56:42Z |
| last_indexed |
2025-12-07T16:56:42Z |
| _version_ |
1850869392828530689 |