Аксиоматические модели и методы проектирования языковых трансляторов

Аксиоматические модели и методы проектирования языковых трансляторов

Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем....

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2003
Автори: Парасюк, И.Н., Провотар, А.И., Кондратенко, В.А.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут програмних систем НАН України 2003
Теми:
Теоретические и методологические основы программирования
Онлайн доступ:http://dspace.nbuv.gov.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
id irk-123456789-1297
record_format dspace
spelling irk-123456789-12972008-07-25T12:04:06Z Аксиоматические модели и методы проектирования языковых трансляторов Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. Теоретические и методологические основы программирования Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем. Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем. 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. 2003 Article Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1297 ru Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Теоретические и методологические основы программирования
Теоретические и методологические основы программирования
spellingShingle Теоретические и методологические основы программирования
Теоретические и методологические основы программирования
Парасюк, И.Н.
Провотар, А.И.
Кондратенко, В.А.
Аксиоматические модели и методы проектирования языковых трансляторов
description Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.
format Article
author Парасюк, И.Н.
Провотар, А.И.
Кондратенко, В.А.
author_facet Парасюк, И.Н.
Провотар, А.И.
Кондратенко, В.А.
author_sort Парасюк, И.Н.
title Аксиоматические модели и методы проектирования языковых трансляторов
title_short Аксиоматические модели и методы проектирования языковых трансляторов
title_full Аксиоматические модели и методы проектирования языковых трансляторов
title_fullStr Аксиоматические модели и методы проектирования языковых трансляторов
title_full_unstemmed Аксиоматические модели и методы проектирования языковых трансляторов
title_sort аксиоматические модели и методы проектирования языковых трансляторов
publisher Інститут програмних систем НАН України
publishDate 2003
topic_facet Теоретические и методологические основы программирования
url http://dspace.nbuv.gov.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
first_indexed 2023-03-24T08:21:21Z
last_indexed 2023-03-24T08:21:21Z
_version_ 1796138876993011712

Схожі ресурси