Практические результаты

• Реализованы алгоритмы генерации частных классов систем одАНЛДУ.
• Реализована программная система alg_analyser для проведения тестирования, экспериментального анализа и сравнения алгоритмов решения систем одАНЛДУ.
• Проведено тестирование алгоритма syntactic solver. Выполнен экспериментальный анализ и сравнение алгоритмов syntactic solver и Slopes.
• Разработанная программная система alg_analyser встроена в систему Web-SynDic.