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

dc.contributor.author	Парасюк, И.Н.
dc.contributor.author	Провотар, А.И.
dc.contributor.author	Кондратенко, В.А.
dc.date.accessioned	2008-07-24T16:33:36Z
dc.date.available	2008-07-24T16:33:36Z
dc.date.issued	2003
dc.identifier.citation	Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/1297
dc.description.abstract	Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.	en_US
dc.description.abstract	Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем.	en_US
dc.description.abstract	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.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Теоретические и методологические основы программирования	en_US
dc.title	Аксиоматические модели и методы проектирования языковых трансляторов	en_US
dc.title.alternative	Аксіоматичні моделі та методи проектування мовних трансляторів	en_US
dc.title.alternative	Axiomatic models and methods used to design of language translators	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US