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

  Завантажити