Аксиоматические модели и методы проектирования языковых трансляторов
Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем. Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних тр...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2003
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1297 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. |