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

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

Парасюк, И.Н. ; Провотар, А.И. ; Кондратенко, В.А.

Інші назви: Аксіоматичні моделі та методи проектування мовних трансляторів
Axiomatic models and methods used to design of language translators

Тема: Теоретические и методологические основы программирования

URI: http://dspace.nbuv.gov.ua/handle/123456789/1297

Посилання: Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос.

Дата: 2003

Завантажень: 859

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

Анотація:

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

Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем.

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.

Показати повний запис статті