Кондратенко В. О. Аксіоматичні моделі і методи проектування лінгвістичних трансляторів

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0401U001744

Здобувач

Спеціальність

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

25-05-2001

Спеціалізована вчена рада

Д26.194.02

Анотація

Дисартаційна робота присвячена побудові оригальної математичної структури та необхідного математичного забезпечення, призначених для автоматичного проектування універсальніх лінгвістичних трансляторів які забеспечують автоматичний переклад описів математичних алгоритмів на вхідній мові в адекватні, семантично корректні переклади описані на вихідній мові незалежно від того, які пари вхідної та вихідної мови програмування використовуються.

Схожі дисертації