Применение синтаксически ориентированного управления обработкой данных в логических системах

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