Какова роль термов в системах переписывания?

Термы играют важную роль в системах переписывания, так как с их помощью представляют объекты предметной области и вычисления. core.ac.uk

Некоторые функции термов в таких системах:

• Запись и изучение правил преобразования выражений. mech.math.msu.su Формализм термов и их равенств позволяет на более абстрактном уровне записывать и изучать правила преобразования выражений в символьной математике. mech.math.msu.su
• Доказательство математических утверждений. mech.math.msu.su Применяя функции, подстановки и логический вывод, можно на основе имеющихся знаний выводить новые, то есть доказывать математические утверждения, представленные равенствами термов. mech.math.msu.su
• Представление вычислений. core.ac.uk Вычисления в системах переписывания представляются как трансформации термов некоторым набором правил в соответствии с дополнительно заданной последовательностью применения правил (стратегией переписывания). core.ac.uk