@prefix owl: . @prefix dbpedia: . dbpedia:Rewriting owl:sameAs . @prefix foaf: . @prefix ns3: . dbpedia:Rewriting foaf:page ns3:Rewriting . @prefix dbpprop: . dbpedia:Rewriting dbpprop:reference , . @prefix rdfs: . dbpedia:Rewriting rdfs:label "\u9805\u66F8\u304D\u63DB\u3048"@ja , "Terimi yeniden yazma"@tr , "R\u00E9\u00E9criture (informatique)"@fr , "Rewriting"@en , "Riscrittura"@it , "Termersetzungssystem"@de ; dbpprop:abstract "In mathematics, computer science and logic, rewriting covers a wide range of 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."@en , "Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik- und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei der Terminierungsanalyse. Termersetzungssysteme sind Mengen von so genannten Termersetzungsregeln. Diese Mengen kann man sich wie Gleichungssysteme zwischen Termen vorstellen, bei dem die Gleichungen nur von links nach rechts angewendet werden d\u00FCrfen. Beispiel plus(0, y) <math>\\rightarrow</math> y plus(succ, y) <math>\\rightarrow</math> succ(plus) Die oben stehenden Regeln bilden einen Termersetzungssystem, welches die Addition zweier nat\u00FCrlicher Zahlen berechnet. Die Regeln besagen, dass beispielsweise jedes Vorkommen von <math> plus(0, y) </math> in einem Term durch <math> y </math> ersetzt werden darf. Dabei kann <math> y </math> selbst ein beliebiger Term sein. Termersetzungssysteme sind turing-vollst\u00E4ndig, stehen also was die Berechnungsst\u00E4rke angeht anderen Formalismen wie den Turingmaschinen, dem Lambda-Kalk\u00FCl oder Registermaschinen in nichts nach. Da sie vergleichsweise einfach strukturiert sind und von Computern gut gehandhabt werden k\u00F6nnen, stellen die Termersetzungssysteme ein wichtiges Hilfsmittel in der computergest\u00FCtzten Analyse von Algorithmen dar."@de , "Terimi yeniden yazma, Matematik, bili\u015Fim biliminin bir dal\u0131 olan evrensel cebir de iki terimin e\u015Fit oldu\u011Funu ya da olmad\u0131\u011F\u0131n\u0131 ispat etmek i\u00E7in kullan\u0131lan bir hesap tekni\u011Fi. \u00D6rnek: Grup teorisinin aksiyomlar\u0131n\u0131 tekrar edelim: (X \u00B7 Y) \u00B7 Z = X \u00B7 (Y \u00B7 Z) X \u00B7 e = X X \u00B7 X = e X \u00B7 X = e \u015Eimdi \"e \u00B7 X = X\" e\u015Fitli\u011Fin do\u011Fru olup olmad\u0131\u011F\u0131n\u0131 terimleri (aksiyomlar\u0131 uygulay\u0131p) yeniden yazarak ispatlayabiliriz. Kan\u0131t: e \u00B7 X = (X \u00B7 X) \u00B7 X = X \u00B7 (X \u00B7 X) = X \u00B7 e = X"@tr , "In matematica, informatica e logica, il termine riscrittura (di termini o espressioni) indica una variet\u00E0 di metodi potenzialmente non deterministici per sostituire le sottoespressioni di una formula con altri termini."@it , "\u9805\u66F8\u304D\u63DB\u3048\uFF08\u3053\u3046\u304B\u304D\u304B\u3048\u3001Term Rewriting\uFF09\u3068\u306F\u3001\u6570\u5B66\u3084\u8A08\u7B97\u6A5F\u79D1\u5B66\u3001\u8AD6\u7406\u5B66\u306B\u304A\u3044\u3066\u3001\u5F0F\uFF08\u6570\u5F0F\u3001\u8AD6\u7406\u5F0F\uFF09\u306E\u9805\u3092\u5225\u306E\u9805\u306B\u7F6E\u63DB\u3059\u308B\u624B\u6CD5\u3092\u7DCF\u79F0\u3059\u308B\u7528\u8A9E\u3067\u3042\u308B\u3002\u9805\u66F8\u304D\u63DB\u3048\u7CFB\u306F\u3001\u9805\u306E\u96C6\u5408\u3068\u305D\u306E\u7F6E\u63DB\u898F\u5247\u304B\u3089\u69CB\u6210\u3055\u308C\u308B\u3002 \u9805\u66F8\u304D\u63DB\u3048\u306F\u975E\u6C7A\u5B9A\u8AD6\u7684\u3067\u3042\u308B\u3002\u3042\u308B\u9805\u66F8\u304D\u63DB\u3048\u898F\u5247\u3092\u9805\u306B\u9069\u7528\u3059\u308B\u624B\u6CD5\u306F\u69D8\u3005\u3067\u3042\u308B\u3002\u9805\u66F8\u304D\u63DB\u3048\u7CFB\u3067\u306F\u3001\u9805\u66F8\u304D\u63DB\u3048\u306E\u305F\u3081\u306E\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0\u306F\u63D0\u4F9B\u3055\u308C\u305A\u3001\u69D8\u3005\u306A\u4EE3\u66FF\u7F6E\u63DB\u898F\u5247\u304C\u9069\u7528\u3067\u304D\u308B\u3002\u3057\u304B\u3057\u3001\u9069\u5F53\u306A\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0\u3068\u7D44\u307F\u5408\u308F\u305B\u308C\u3070\u3001\u9805\u66F8\u304D\u63DB\u3048\u7CFB\u306F\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u3088\u3046\u306A\u50CD\u304D\u3092\u3057\u3001\u5B9F\u969B\u3044\u304F\u3064\u304B\u306E\u5BA3\u8A00\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u306F\u9805\u66F8\u304D\u63DB\u3048\u306B\u57FA\u3065\u3044\u3066\u3044\u308B\u3002"@ja , "La r\u00E9\u00E9criture (ou r\u00E9criture) est un mod\u00E8le de calcul utilis\u00E9 en informatique, en alg\u00E8bre, en logique math\u00E9matique et en linguistique. Il s\u2019agit de transformer des objets syntaxiques en appliquant des r\u00E8gles bien pr\u00E9cises. Voici quelques exemples classiques d\u2019utilisation de la r\u00E9\u00E9criture : simplifier une expression alg\u00E9brique, d\u00E9finir la grammaire formelle d\u2019un langage de programmation ou d\u2019une langue naturelle, exprimer la s\u00E9mantique d\u2019un langage de programmation, \u00E9tudier la structure d\u2019un groupe ou d\u2019un mono\u00EFde, expliciter le contenu calculatoire d\u2019une d\u00E9monstration math\u00E9matique par le m\u00E9canisme d\u2019\u00E9limination des coupures. On peut aussi mentionner des applications tr\u00E8s pratiques telles que la gestion des courriers \u00E9lectroniques (dans le logiciel sendmail les ent\u00EAtes de courrier sont manipul\u00E9es par des syst\u00E8mes de r\u00E9\u00E9criture) ou l'optimisation de code dans les compilateurs"@fr ; rdfs:comment "Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik- und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei der Terminierungsanalyse. Termersetzungssysteme sind Mengen von so genannten Termersetzungsregeln. Diese Mengen kann man sich wie Gleichungssysteme zwischen Termen vorstellen, bei dem die Gleichungen nur von links nach rechts angewendet werden d\u00FCrfen."@de , "La r\u00E9\u00E9criture (ou r\u00E9criture) est un mod\u00E8le de calcul utilis\u00E9 en informatique, en alg\u00E8bre, en logique math\u00E9matique et en linguistique. Il s\u2019agit de transformer des objets syntaxiques en appliquant des r\u00E8gles bien pr\u00E9cises."@fr , ""@ja , "In matematica, informatica e logica, il termine riscrittura (di termini o espressioni) indica una variet\u00E0 di metodi potenzialmente non deterministici per sostituire le sottoespressioni di una formula con altri termini."@it , "In mathematics, computer science and logic, rewriting covers a wide range of 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."@en , "Terimi yeniden yazma, Matematik, bili\u015Fim biliminin bir dal\u0131 olan evrensel cebir de iki terimin e\u015Fit oldu\u011Funu ya da olmad\u0131\u011F\u0131n\u0131 ispat etmek i\u00E7in kullan\u0131lan bir hesap tekni\u011Fi. \u00D6rnek: Grup teorisinin aksiyomlar\u0131n\u0131 tekrar edelim: (X \u00B7 Y) \u00B7 Z = X \u00B7 (Y \u00B7 Z) X \u00B7 e = X X \u00B7 X = e X \u00B7 X = e \u015Eimdi \"e \u00B7 X = X\" e\u015Fitli\u011Fin do\u011Fru olup olmad\u0131\u011F\u0131n\u0131 terimleri (aksiyomlar\u0131 uygulay\u0131p) yeniden yazarak ispatlayabiliriz. Kan\u0131t: e \u00B7 X = (X \u00B7 X) \u00B7 X = X \u00B7 (X \u00B7 X) = X \u00B7 e = X"@tr . @prefix skos: . @prefix ns7: . dbpedia:Rewriting skos:subject ns7:Rewriting_systems , ns7:Logic_in_computer_science , ns7:Formal_languages , ns7:Mathematical_logic . @prefix ns8: . dbpedia:Rewriting dbpprop:hasPhotoCollection ns8:Rewriting . dbpedia:Reduction_system dbpprop:redirect dbpedia:Rewriting . dbpedia:Rewrite_system dbpprop:redirect dbpedia:Rewriting . dbpedia:Rewriting_logic dbpprop:redirect dbpedia:Rewriting . dbpedia:Term_Rewriting_System dbpprop:redirect dbpedia:Rewriting . dbpedia:Reduction_systems dbpprop:redirect dbpedia:Rewriting . dbpedia:Rewriting_system dbpprop:redirect dbpedia:Rewriting . dbpedia:Term_rewriting_system dbpprop:redirect dbpedia:Rewriting . dbpedia:Substitution_system dbpprop:redirect dbpedia:Rewriting . dbpedia:Term-rewriting dbpprop:redirect dbpedia:Rewriting . dbpedia:Term_rewrite_system dbpprop:redirect dbpedia:Rewriting . dbpedia:Term_rewriting dbpprop:redirect dbpedia:Rewriting .