Аксиоматические модели и методы проектирования языковых трансляторов
Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем. Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних тр...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1297 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862705884410413056 |
|---|---|
| author | Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. |
| author_facet | Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. |
| citation_txt | Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T16:56:42Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1297 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T16:56:42Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Аксиоматические модели и методы проектирования языковых трансляторов Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. Теоретические и методологические основы программирования |
| title | Аксиоматические модели и методы проектирования языковых трансляторов |
| title_alt | Аксіоматичні моделі та методи проектування мовних трансляторів Axiomatic models and methods used to design of language translators |
| title_full | Аксиоматические модели и методы проектирования языковых трансляторов |
| title_fullStr | Аксиоматические модели и методы проектирования языковых трансляторов |
| title_full_unstemmed | Аксиоматические модели и методы проектирования языковых трансляторов |
| title_short | Аксиоматические модели и методы проектирования языковых трансляторов |
| title_sort | аксиоматические модели и методы проектирования языковых трансляторов |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1297 |
| 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 |