В чем заключается принцип работы систем символьной алгебры?

Принцип работы систем символьной алгебры (СКА) заключается в следующем: elib.bsu.by

1. Пользователь задаёт на входном языке системы математические объекты (векторы, матрицы и др.) и указания, что с ними делать, в виде символьных выражений. elib.bsu.by
2. Интерпретатор анализирует и переводит символьные выражения во внутреннее представление. elib.bsu.by
3. Символьный процессор системы выполняет требуемые преобразования или вычисления и выдаёт ответ в математической нотации. elib.bsu.by

Суть символьных вычислений (аналитических преобразований) — последовательное преобразование (переписывание) входного выражения до тех пор, пока не будет получен результат. elar.urfu.ru Для этого система располагает набором правил вычисления функции. elar.urfu.ru Эти правила последовательно просматриваются, и если какое-либо правило применимо к данному выражению, то оно применяется к нему. elar.urfu.ru В результате получается новое выражение, и вновь пытаются применить к нему существующие правила. elar.urfu.ru Когда система не находит правила, применимого к данному выражению, оно считается результирующим. elar.urfu.ru После этого результирующее выражение преобразуется в инфиксную запись и выводится на устройство вывода. elar.urfu.ru