翻訳と辞書
Words near each other
・ Reworkability
・ ReWorked
・ Reworkings
・ Rewound
・ Rewrapped
・ Rewritable consumer timecode
・ Rewrite
・ Rewrite (programming)
・ Rewrite (song)
・ Rewrite (visual novel)
・ Rewrite Advisory Panel
・ Rewrite engine
・ Rewrite man
・ Rewrite order
・ Rewrite This Story
Rewriting
・ Rewriting the Soul
・ Rewtra
・ Rex
・ Rex (artist)
・ Rex (automobile)
・ Rex (band)
・ Rex (chair)
・ Rex (dog)
・ Rex (given name)
・ Rex (horse)
・ Rex (Live at the Fillmore)
・ Rex (musical)
・ Rex (Police dog)
・ Rex (programming language)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Rewriting : ウィキペディア英語版
Rewriting

In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms. What is considered are rewriting systems (also known as rewrite systems or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.
Rewriting can be non-deterministic. One rule to rewrite a term could be applied in many different ways to that term, or more than one rule could be applicable. Rewriting systems then do not provide an algorithm for changing one term to another, but a set of possible rule applications. When combined with an appropriate algorithm, however, rewrite systems can be viewed as computer programs, and several declarative programming languages are based on term rewriting.
== Intuitive examples ==
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.