Нестрогое вложение деревьев в приложении к поиску математических выражений

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