出現検査

ウィキペディア小見出し辞書

出現検査

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/22 09:08 UTC 版)

「ユニフィケーション」の記事における「出現検査」の解説

変数 x を x が部分として出現する関数 x=f(...,x,...) とユニフィケーションしようとする場合、x は無限個の項を持たなければならなくなる。これは有限であるとした項の定義と矛盾するため、ユニフィケーションは失敗する。そのためユニフィケーション問題を解くアルゴリズムでは、まず x がユニフィケーションしようとする項の中に出現しないかチェックする。これを出現検査（英語版）などと呼ぶ。