等価変換モデルと呼ばれる新しい計算モデルでは、問題の仕様は確定節の集合で表現され、プログラム合成の主要な部分は仕様から新しい等価変換ルールを合成することである。本論文では、問題の仕様から等価変換ルールを生成する新しい方法を提案する。メタ記述と呼ばれる新しい概念を導入する。メタ記述とは(通常は無限の)記述を一つの表現で表すものである。メタ記述はメタルールを用いて変換される。等価変換ルールは等価なメタ記述の2項組から得られる。