Автоматизация отладки алгоритмов поверхностно синтаксического анализа Баталина А.М., Айриян Г.Ю., Епифанов М.Е., Кобзарева Т.Ю., Лахути Д.Г. моделирование алгоритмов снятия омонимии выполнено Кушнарёвой Е. В.

В ходе демонстрации будут представлены краткая характеристика предметной области: комплекс «алгоритмов» поверхностно синтаксического анализа (ПСА), разработанных Т.Ю.Кобзаревой краткая характеристика предметной области: комплекс «алгоритмов» поверхностно синтаксического анализа (ПСА), разработанных Т.Ю.Кобзаревой предпосылки создания инструментальной системы отладки предпосылки создания инструментальной системы отладки объектное представление алгоритмов ПСА объектное представление алгоритмов ПСА процесс отладки алгоритмов ПСА процесс отладки алгоритмов ПСА

умозрительно совершенствовать довольно обширную систему правил достаточно трудно сложно обозревать всю совокупность лингвистических правил

Предметом тестирования являются порядок выполнения алгоритмов в общей схеме ПСА порядок выполнения алгоритмов в общей схеме ПСА различные варианты объединения правил в алгоритмы различные варианты объединения правил в алгоритмы структура алгоритма в смысле организации (взаимосвязи) составляющих его правил структура алгоритма в смысле организации (взаимосвязи) составляющих его правил отладка отдельных правил (их предметного содержания) в контексте использующих их алгоритмов отладка отдельных правил (их предметного содержания) в контексте использующих их алгоритмов отладка правильности Лисп-кодов, реализующих присваивания, условия и действия в правилах отладка правильности Лисп-кодов, реализующих присваивания, условия и действия в правилах

Особенности вычислительной модели механизм возвратов (элиминация циклов) механизм возвратов (элиминация циклов) пространство альтернатив – цепочек объектов, представляющих лингвистические единицы со связями между ними и их окружением в вычислительной модели – соответствующие значения переменных и т.п. («параллельные миры») пространство альтернатив – цепочек объектов, представляющих лингвистические единицы со связями между ними и их окружением в вычислительной модели – соответствующие значения переменных и т.п. («параллельные миры») вызов одних алгоритмов другими (аналогично вызову процедур в языках программирования) вызов одних алгоритмов другими (аналогично вызову процедур в языках программирования)

Объектное представление алгоритмов ПСА

Работа с алгоритмами ПСА в системе разбивается на стадии формальное представление алгоритмов в модели формальное представление алгоритмов в модели отладка алгоритмов (по отдельности и в совокупности) отладка алгоритмов (по отдельности и в совокупности)

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