Зображення обкладинки

Axiomatic models and methods used to design of language translators

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.

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2015
Випуск:3
ISSN:1727-4907
Автори та афіліації:
  • I.N. Parasyuk — Glushkov Institute of Cybernetics NAS of Ukraine
  • O.I. Provotar — Glushkov Institute of Cybernetics NAS of Ukraine
  • V.A. Kondratenko — Glushkov Institute of Cybernetics NAS of Ukraine
Автори: Parasyuk, I.N., Provotar, O.I., Kondratenko, V.A.
Формат: Стаття
Мова:Російська
Опубліковано: PROBLEMS IN PROGRAMMING 2015
Теми:
UDC 681.3
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/16
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming
Опис
Резюме: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

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