Rewriting (original) (raw)
En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs.
| Property | Value |
|---|---|
| dbo:abstract | 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 Termersetzungsregeln. Diese Mengen kann man sich wie Gleichungssysteme zwischen Termen vorstellen, bei dem die Gleichungen nur von links nach rechts angewendet werden dürfen. Beispiel plus(0, y) → y plus(succ(x), y) → succ(plus(x, y)) Die oben stehenden Regeln bilden ein Termersetzungssystem, welches als die Addition zweier natürlicher Zahlen verstanden werden kann. Dies erfordert, dass man die Zahl 0 mit dem Term 0, die Zahl 1 mit dem Term succ(0), die Zahl 2 mit dem Term succ(succ(0)) usw. repräsentiert. Die Regeln besagen, dass beispielsweise jedes Vorkommen von in einemTerm durch ersetzt werden darf. Dabei kann selbst ein beliebiger Term sein, muss also insbesondere auch keine natürliche Zahl darstellen. Termersetzungssysteme sind turingvollständig, stehen also, was die Berechnungsstärke angeht, anderen Formalismen wie den Turingmaschinen, dem Lambda-Kalkül oder Registermaschinen in nichts nach. Da sie vergleichsweise einfach strukturiert sind und von Computern gut gehandhabt werden können, stellen die Termersetzungssysteme ein wichtiges Hilfsmittel in der computergestützten Analyse von Algorithmen dar. (de) En las matemáticas, ciencias de la computación y la lógica, la reescritura incluye una amplia gama de métodos para reemplazar subtérminos de una fórmula con otros términos. Tales métodos pueden lograrse por sistemas de reescritura (también conocidos como motores de reescritura o sistemas de reducción). En su forma más básica, consisten en un conjunto de objetos, además de relaciones representando funciones para transformar tales objetos. Puede que reescritura sea no determinista. Puede que una regla para reescribir un término pueda aplicarse de muchas maneras diferentes a dicho término, o que puedan aplicarse más de una regla. Los sistemas de reescritura no proveen un algoritmo para cambiar un término por otro, sino un conjunto de posibles aplicaciones de reglas. Sin embargo, cuando se combinan con un algoritmo apropiado, los sistemas de reescritura pueden verse como programas informáticos, y varios programas para demostrar teoremas y lenguajes de programación declarativa se basan en la reescritura de términos. (es) In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, 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 theorem provers and declarative programming languages are based on term rewriting. (en) En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs. (fr) In matematica, informatica e logica, la riscrittura è la sostituzione di un oggetto al posto di una parte di un altro oggetto, secondo una precisa regola formale. Un sistema di riscrittura è appunto costituito da un insieme di oggetti, per esempio termini, grafi o altri oggetti matematici, e un insieme finito di regole che definiscono una relazione sugli oggetti. Quando un sistema di riscrittura permette, dato un oggetto, di applicare diverse regole, è chiamato non deterministico e talvolta integrato da una strategia di scelta. Quest'ultimo caso è particolarmente interessante nella teoria dei linguaggi di programmazione, perché diversi linguaggi dichiarativi (funzionali o logici) sono studiati come sistemi di riscrittura di termini. (it) 수학, 컴퓨터 과학 및 논리학에서 재작성은 다양한 부분을 다루고 있다. (특별히 비결정적인 부분에서 중요하다) 이는 부분식을 다른 항으로 교체하여 이루어진다. 재작성 시스템에서 다루는 것은 물체들의 집합과 그들 간의 관계 및 변환이다. 재작성은 비결정적일 수 있다. 한 구문(term)을 작성하는 하나의 규칙은 여러 가지 방법으로 해당 구문에 적용될 수 있다. 또한 복수의 규칙이 적용될 수도 있다. 재작성 시스템은 하나의 구문을 다른 구문으로 수정하는 알고리즘을 제공하는 것이 아니라 여러 규칙을 묶어 제공한다. 적절한 알고리즘을 구성하는 규칙들의 집합은 컴퓨터 프로그램 그 자체 혹은 몇몇 항 재작성(term-rewriting) 기반 선언 프로그래밍 언어로 간주되기도 한다. (ko) 項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。項書き換え系（英: term rewriting system、TRS）とは、項の集合とその置換規則から構成される。 項書き換えは非決定的になることがありうる。ある規則で書き換え可能な項が他の規則でも書き換え可能な場合がありえて、その場合は複数の規則が適用可能と言うことになる。項書き換え系では、項書き換えのためのアルゴリズムは提供されず、書き換え規則の集合のみが提供される。しかし、適当なアルゴリズムと組み合わせれば、項書き換え系はプログラムのような働きをし、実際いくつかの宣言型プログラミング言語は項書き換えに基づいている。 (ja) In de theoretische informatica is herschrijven (Engels: rewriting) een onderzoeksgebied dat zich bezighoudt met stapsgewijze, discrete transformaties van objecten, vaak met het doel een bepaald eindresultaat (bijvoorbeeld de uitkomst van een berekening) te bereiken. De mogelijke stappen die genomen kunnen worden, worden gespecificeerd in een herschrijfsysteem. Herschrijfsystemen zijn vaak niet-deterministisch: het wordt niet voorgeschreven welke van de mogelijke stappen de volgende stap is. Er bestaan verschillende vormen van herschrijven, bijvoorbeeld termherschrijven, graafherschrijven en stringherschrijven. (nl) Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил. В наиболее общей форме речь идёт о совокупности некоторого набора объекта и правил — отношений между этими объектами, которые указывают как преобразовать этот набор. Переписывание может быть недетерминированным. Например, система переписывающих правил может включать в себя правило, которое может быть применено к одному и тому же терму несколькими разными способами, но не содержать, при этом, указания на то, какой конкретно способ нужно применить в том или ином случае. Если система переписывания, всё же, оформлена в качестве однозначно понимаемого алгоритма, она может рассматриваться как компьютерная программа. На техниках переписывания основан ряд систем интерактивного доказательства теорем и декларативных языков программирования. (ru) Em matemática um sistema de redução é um sistema onde termos podem ser reescritos usando uma lista finita, ou infinita, de regras de reescrita Exemplos de sistemas de redução incluem sistemas de reescrita de cadeias de caractere, sistemas de reescrita de termos, cálculo lambda sob e . Quando nenhuma regra de redução pode ser aplicada para uma determinada expressão, é dito que esta está na Forma Normal. (pt) У математиці, комп'ютерній науці та в логіці термін рерайтинг (англ. rewriting) означає широкий діапазон способів (потенційно не детермінованих) заміни елементів формули таким чином, що зміст не міняється. У самому базовому вигляді системи рерайтинга складаються з набору об'єктів, плюс відносин про те, як перетворити ці об'єкти. Рерайтинг може бути недетермінованим. Одне правило рерайтинга терму може застосовуватися багатьма різними способами до цього терму, або може бути застосовано більше одного правила. Тоді системи рерайтинга не забезпечують алгоритм зміни одного терму на інший, але забезпечують набір можливих правил програми. Проте у поєднанні з відповідним алгоритмом системи рерайтинга можуть розглядатися як комп'ютерні програми, на рерайтингу термів засновано декілька систем доведення теорем та декларативних мов програмування. (uk) 重写逻辑是一种对绝大多数编程语言和系统进行规范描述的计算机逻辑。重写逻辑能把目标逻辑的抽象语法表示为代数结构。利用重写规则，目标逻辑的推理规则可以被描述出来。 重写逻辑中的语法和结构化公理都由用户自己定义，这使其变得极为简单且通用。 1992年，José Meseguer在《作为统一并发模型的条件重写逻辑》一文中首先提出重写逻辑这一概念。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.termination-portal.org/ https://ifip-wg-rewriting.cs.ru.nl/ http://cl-informatik.uibk.ac.at/~ami/research/rr/index.php http://infolab.stanford.edu/pub/cstr/reports/cs/tr/80/785/CS-TR-80-785.pdf http://rewriting.loria.fr/ http://rewriting.loria.fr/documents/plaisted.ps.gz http://maude.cs.illinois.edu/w/index.php/The_Maude_System http://citeseer.ist.psu.edu/dershowitz90rewrite.html http://www.cs.tau.ac.il/~nachum/papers/hand-final.pdf |
| dbo:wikiPageID | 415847 (xsd:integer) |
| dbo:wikiPageLength | 31802 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1106356605 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Ronald_V._Book dbr:Samson_Abramsky dbr:Noun_phrase dbr:Path_ordering_(term_rewriting) dbr:Binary_relation dbr:Algorithm dbr:Peano_axioms dbr:Rewrite_order dbr:University_of_Innsbruck dbr:David_Plaisted dbr:De_Morgan's_laws dbr:Presentation_of_a_monoid dbr:Compiler dbr:Critical_pair_(logic) dbr:Mathematics dbr:Generative_grammar dbr:Normal_form_(abstract_rewriting) dbr:Empty_string dbr:Morpheme dbr:Confluence_(abstract_rewriting) dbr:Congruence_relation dbr:Conjunctive_normal_form dbr:Reflexive_transitive_closure dbr:Reflexive_transitive_symmetric_closure dbr:Andrei_Voronkov dbr:Alphabet_(computer_science) dbr:Logic dbr:Closure_(mathematics) dbr:Computer_program dbr:Computer_science dbr:String_(computer_science) dbr:Substitution_(logic) dbr:Successor_function dbr:Michael_M._Richter dbr:Automated_theorem_proving dbr:Causality dbr:Tom_Maibaum dbr:Transitive_closure dbr:Tree_(graph_theory) dbr:Tuple dbr:Lecture_Notes_in_Computer_Science dbr:Linguistics dbr:Equivalence_relation dbr:Graph_rewriting dbr:Handbook_of_Automated_Reasoning dbr:History_monoid dbr:Nachum_Dershowitz dbr:Logical_equivalence dbr:Preprint dbr:Well-formed_formula dbr:Ground_term dbr:Gérard_Huet dbr:Isomorphic dbr:Jan_Willem_Klop dbr:Jan_van_Leeuwen dbr:Jean-Pierre_Jouannaud dbr:Term_(logic) dbr:Trace_theory dbc:Logic_in_computer_science dbr:Abstract_rewriting_system dbc:Formal_languages dbc:Mathematical_logic dbc:Rewriting_systems dbr:John_Alan_Robinson dbr:L-system dbr:Symmetric_relation dbr:Referential_transparency dbr:Term_algebra dbr:Trace_monoid dbr:Regulated_rewriting dbr:Distributivity dbr:Double_negation_elimination dbr:Martin_Davis_(mathematician) dbr:Free_group dbr:Free_monoid dbr:Factor_monoid dbr:Graph_(graph_theory) dbr:Iff dbr:Knuth–Bendix_completion_algorithm dbr:Natural_number dbr:Newman's_lemma dbr:Word_problem_(mathematics) dbr:Rho_calculus dbr:Syntactic_category dbr:Phrase_structure_rule dbr:Sentence_(linguistics) dbr:Signature_(logic) dbr:Undecidable_problem dbr:Verb_phrase dbr:Non-deterministic_algorithm dbr:Symmetric_closure dbr:Substring dbr:Elaine_J._Weyuker dbr:Church–Rosser_property dbr:Bicyclic_monoid dbr:Lambda_term dbr:Dov_M._Gabbay dbr:Declarative_programming_language dbr:Monoid_presentation dbr:Marc_Bezem dbr:Ron_Sigal dbr:Roel_de_Vrijer dbr:Handbook_of_Theoretical_Computer_Science dbr:Aart_Middeldorp dbr:C._J._Hogger dbr:File:Example_term_for_position,_path,_depth,_match_svg.svg dbr:File:Triangle_diagram_of_rewrite_rule_application_svg.svg dbr:Handbook_of_Logic_in_Artificial_Intelligence_and_Logic_Programming dbr:Handbook_of_Logic_in_Computer_Science |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Citation_needed dbt:Cite_book dbt:ISBN dbt:Main dbt:Math dbt:Nobreak dbt:NoteFoot dbt:Other_uses dbt:Redirect dbt:Reflist dbt:Section_link dbt:Short_description dbt:Wiktionary dbt:Isbn |
| dcterms:subject | dbc:Logic_in_computer_science dbc:Formal_languages dbc:Mathematical_logic dbc:Rewriting_systems |
| rdf:type | owl:Thing yago:Artifact100021939 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:System104377057 yago:Whole100003553 yago:WikicatRewritingSystems |
| rdfs:comment | En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs. (fr) 수학, 컴퓨터 과학 및 논리학에서 재작성은 다양한 부분을 다루고 있다. (특별히 비결정적인 부분에서 중요하다) 이는 부분식을 다른 항으로 교체하여 이루어진다. 재작성 시스템에서 다루는 것은 물체들의 집합과 그들 간의 관계 및 변환이다. 재작성은 비결정적일 수 있다. 한 구문(term)을 작성하는 하나의 규칙은 여러 가지 방법으로 해당 구문에 적용될 수 있다. 또한 복수의 규칙이 적용될 수도 있다. 재작성 시스템은 하나의 구문을 다른 구문으로 수정하는 알고리즘을 제공하는 것이 아니라 여러 규칙을 묶어 제공한다. 적절한 알고리즘을 구성하는 규칙들의 집합은 컴퓨터 프로그램 그 자체 혹은 몇몇 항 재작성(term-rewriting) 기반 선언 프로그래밍 언어로 간주되기도 한다. (ko) 項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。項書き換え系（英: term rewriting system、TRS）とは、項の集合とその置換規則から構成される。 項書き換えは非決定的になることがありうる。ある規則で書き換え可能な項が他の規則でも書き換え可能な場合がありえて、その場合は複数の規則が適用可能と言うことになる。項書き換え系では、項書き換えのためのアルゴリズムは提供されず、書き換え規則の集合のみが提供される。しかし、適当なアルゴリズムと組み合わせれば、項書き換え系はプログラムのような働きをし、実際いくつかの宣言型プログラミング言語は項書き換えに基づいている。 (ja) Em matemática um sistema de redução é um sistema onde termos podem ser reescritos usando uma lista finita, ou infinita, de regras de reescrita Exemplos de sistemas de redução incluem sistemas de reescrita de cadeias de caractere, sistemas de reescrita de termos, cálculo lambda sob e . Quando nenhuma regra de redução pode ser aplicada para uma determinada expressão, é dito que esta está na Forma Normal. (pt) 重写逻辑是一种对绝大多数编程语言和系统进行规范描述的计算机逻辑。重写逻辑能把目标逻辑的抽象语法表示为代数结构。利用重写规则，目标逻辑的推理规则可以被描述出来。 重写逻辑中的语法和结构化公理都由用户自己定义，这使其变得极为简单且通用。 1992年，José Meseguer在《作为统一并发模型的条件重写逻辑》一文中首先提出重写逻辑这一概念。 (zh) 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 Termersetzungsregeln. Diese Mengen kann man sich wie Gleichungssysteme zwischen Termen vorstellen, bei dem die Gleichungen nur von links nach rechts angewendet werden dürfen. Beispiel plus(0, y) → y plus(succ(x), y) → succ(plus(x, y)) (de) En las matemáticas, ciencias de la computación y la lógica, la reescritura incluye una amplia gama de métodos para reemplazar subtérminos de una fórmula con otros términos. Tales métodos pueden lograrse por sistemas de reescritura (también conocidos como motores de reescritura o sistemas de reducción). En su forma más básica, consisten en un conjunto de objetos, además de relaciones representando funciones para transformar tales objetos. (es) In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects. (en) In matematica, informatica e logica, la riscrittura è la sostituzione di un oggetto al posto di una parte di un altro oggetto, secondo una precisa regola formale. Un sistema di riscrittura è appunto costituito da un insieme di oggetti, per esempio termini, grafi o altri oggetti matematici, e un insieme finito di regole che definiscono una relazione sugli oggetti. Quando un sistema di riscrittura permette, dato un oggetto, di applicare diverse regole, è chiamato non deterministico e talvolta integrato da una strategia di scelta. (it) In de theoretische informatica is herschrijven (Engels: rewriting) een onderzoeksgebied dat zich bezighoudt met stapsgewijze, discrete transformaties van objecten, vaak met het doel een bepaald eindresultaat (bijvoorbeeld de uitkomst van een berekening) te bereiken. De mogelijke stappen die genomen kunnen worden, worden gespecificeerd in een herschrijfsysteem. Herschrijfsystemen zijn vaak niet-deterministisch: het wordt niet voorgeschreven welke van de mogelijke stappen de volgende stap is. (nl) Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил. В наиболее общей форме речь идёт о совокупности некоторого набора объекта и правил — отношений между этими объектами, которые указывают как преобразовать этот набор. (ru) У математиці, комп'ютерній науці та в логіці термін рерайтинг (англ. rewriting) означає широкий діапазон способів (потенційно не детермінованих) заміни елементів формули таким чином, що зміст не міняється. У самому базовому вигляді системи рерайтинга складаються з набору об'єктів, плюс відносин про те, як перетворити ці об'єкти. (uk) |
| rdfs:label | Termersetzungssystem (de) Reescritura (es) Réécriture (informatique) (fr) Riscrittura (it) 項書き換え (ja) 재작성 (ko) Herschrijven (theoretische informatica) (nl) Rewriting (en) Sistema de redução (pt) Переписывание (ru) Рерайтинг (математика) (uk) 重写逻辑 (zh) |
| owl:sameAs | freebase:Rewriting wikidata:Rewriting dbpedia-de:Rewriting dbpedia-es:Rewriting dbpedia-fa:Rewriting dbpedia-fr:Rewriting dbpedia-it:Rewriting dbpedia-ja:Rewriting dbpedia-ko:Rewriting dbpedia-nl:Rewriting dbpedia-pt:Rewriting dbpedia-ru:Rewriting dbpedia-tr:Rewriting dbpedia-uk:Rewriting dbpedia-zh:Rewriting https://global.dbpedia.org/id/dRKr |
| prov:wasDerivedFrom | wikipedia-en:Rewriting?oldid=1106356605&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Example_term_for_position,_path,_depth,_match_svg.svg wiki-commons:Special:FilePath/Triangle_diagram_of_rewrite_rule_application_svg.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Rewriting |
| is dbo:academicDiscipline of | dbr:Klaus_Peter_Jantke |
| is dbo:wikiPageRedirects of | dbr:Trace_rewriting_system dbr:Rewrite_system dbr:Redex dbr:Reducible_expression dbr:Tree_rewriting dbr:Reduction_system dbr:Term_rewriting dbr:Termination_(term_rewriting) dbr:Term-rewriting dbr:Term_Rewriting_System dbr:Term_rewrite_system dbr:Term_rewriting_system dbr:Termination_(rewriting) dbr:Rewriter dbr:Transformational_rule dbr:Phase-structure_rule dbr:Rewrite_rule dbr:Rewrite_rules dbr:Rewriting_logic dbr:Rewriting_system dbr:Reduction_systems dbr:Substitution_system |
| is dbo:wikiPageWikiLink of | dbr:List_of_algorithms dbr:List_of_computability_and_complexity_topics dbr:M-expression dbr:Moore_curve dbr:Trace_rewriting_system dbr:Algebraic_Petri_net dbr:Hyperoperation dbr:Jose_Meseguer dbr:Resolution_proof_reduction_via_local_context_rewriting dbr:Rewrite_engine dbr:Rewrite_order dbr:Rewrite_system dbr:UUCP dbr:Unification_(computer_science) dbr:De_Bruijn_index dbr:Index_of_philosophy_articles_(R–Z) dbr:Sierpiński_curve dbr:List_of_lemmas dbr:.htaccess dbr:Compiler dbr:Computer_algebra dbr:Constraint_Handling_Rules dbr:Critical_pair_(term_rewriting) dbr:Maude_system dbr:Normal_form_(abstract_rewriting) dbr:OBJ_(programming_language) dbr:Prenex_normal_form dbr:Nqthm dbr:Modal_operator dbr:Monad_(functional_programming) dbr:Confluence_(abstract_rewriting) dbr:Redex dbr:Reducible_expression dbr:Tree_rewriting dbr:Frits_Staal dbr:Kripke_semantics dbr:TRS dbr:Prefix_grammar dbr:Automated_theorem_proving dbr:Böhm_tree dbr:Type_theory dbr:Web_framework dbr:Well-founded_relation dbr:Doxastic_logic dbr:Larch_Prover dbr:Linear_graph_grammar dbr:List_of_Apache_modules dbr:Cyclic_order dbr:Data_type dbr:Directed_algebraic_topology dbr:Graph_rewriting dbr:Hans_Zantema dbr:Hilbert_curve dbr:Left_recursion dbr:Nachum_Dershowitz dbr:Production_system_(computer_science) dbr:Reduction_system dbr:Rewrite dbr:Rule-based_system dbr:URL_redirection dbr:Grigore_Roșu dbr:International_Conference_on_Rewriting_Techniques_and_Applications dbr:James_Hoe dbr:Term_rewriting dbr:Atom_(programming_language) dbr:Abstract_rewriting_system dbr:Ackermann_function dbr:Charlotte_MacLeod dbr:Lambda_calculus dbr:Binary_combinatory_logic dbr:Referential_transparency dbr:Termination_(term_rewriting) dbr:Word_problem_for_groups dbr:Arvind_(computer_scientist) dbr:Aspects_of_the_Theory_of_Syntax dbr:Term-rewriting dbr:Term_Rewriting_System dbr:Term_rewrite_system dbr:Term_rewriting_system dbr:Integer dbr:Klaus_Peter_Jantke dbr:Newman's_lemma dbr:Reduction_(mathematics) dbr:Reduction_strategy dbr:Word_problem_(mathematics) dbr:Message_Authenticator_Algorithm dbr:Universal_Turing_machine dbr:Semi-Thue_system dbr:Explicit_substitution dbr:Gunther_Schmidt dbr:List_of_unsolved_problems_in_computer_science dbr:Literal_movement_grammar dbr:Quantifier_shift dbr:Termination_(rewriting) dbr:Semigroup_with_involution dbr:Rewriter dbr:Substructural_logic dbr:Transformational_rule dbr:Phase-structure_rule dbr:Rewrite_rule dbr:Rewrite_rules dbr:Rewriting_logic dbr:Rewriting_system dbr:Reduction_systems dbr:Substitution_system |
| is foaf:primaryTopic of | wikipedia-en:Rewriting |
