記号解析

数式処理システムを用いて、物理現象のモデルを記号解析にかける。

「このプログラム、ソースコードの記号解析だけでバグの半分は見つかるはずだ」

抽象的な数式を記号解析することで、特定の数値を代入する前に一般解を導き出す。