克努特-本迪克斯完備化（Knuth-Bendix completion）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：克努特-本迪克斯完備化
- 外文名：Knuth-Bendix completion
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
由克努特（Knuth）和本迪克斯（Bendix）提出的，將一組等式轉換為一個有限終止的具有合流性的項重寫系統的方法。是將等式推理問題轉化為重寫系統中的判定問題的關鍵步驟。
出處
《計算機科學技術名詞 》第三版。
克努特-本迪克斯完備化（Knuth-Bendix completion）是2018年公布的計算機科學技術名詞。