Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

項書き換えとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 項書き換えの意味・解説 

項書き換え

(re writing から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/07 06:34 UTC 版)

項書き換え(こうかきかえ、: term rewriting)とは、数学計算機科学論理学において、式(数式、論理式)のを別の項に置換する手法を総称する用語である。項書き換え系: term rewriting system、TRS)とは、項の集合とその置換規則から構成される。

項書き換えは非決定的になることがありうる。ある規則で書き換え可能な項が他の規則でも書き換え可能な場合がありえて、その場合は複数の規則が適用可能と言うことになる。項書き換え系では、項書き換えのためのアルゴリズムは提供されず、書き換え規則の集合のみが提供される。しかし、適当なアルゴリズムと組み合わせれば、項書き換え系はプログラムのような働きをし、実際いくつかの宣言型プログラミング言語は項書き換えに基づいている。

算術

一般的な算術の規則は、以下のような規則を含む項書き換え系とみなすことができる:

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。2023年8月
  • Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite Systems (1990). Chapter 6 of Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp.243–320.
  • Term Rewriting Systems, Terese, Cambridge Tracts in Theoretical Computer Science, 2003
  • Term Rewriting and All That, Franz Baader and Tobias Nipkow, Cambridge University Press, 1998



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「項書き換え」の関連用語

項書き換えのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



項書き換えのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの項書き換え (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2024 GRAS Group, Inc.RSS