セシィ-ウルマン法

読み方、または別称：

英: Sethi-Ullman algorithm

セシィ-ウルマン法とは

セシィ-ウルマン法（英: Sethi-Ullman algorithm）とは、コンパイラにおいて数式に対応したコードを生成する際に、必要な命令数やレジスタ数を最小にするアルゴリズムである。ただし前提条件として、数式内の各演算に交換法則と結合法則が成り立たなければならない。分配法則は成り立たなくてもよい。交換法則や結合法則が成り立たない場合もこのアルゴリズムを適用可能だが、その場合、数式の変形はできない。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ セシィ-ウルマン法の改定履歴 ]