In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation. Despite its simplicity, an ARS is sufficient to describe important properties of rewriting systems like normal forms, termination, and various notions of confluence.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Sistema abstracte de reescriptura (ca)
- Reduktionssystem (de)
- Abstract rewriting system (en)
- 추상 재작성 시스템 (ko)
|
| rdfs:comment
| - 추상 재작성 시스템은 수리 논리학과 이론 전산학에서 재작성 시스템의 본질적인 개념과 속성을 다루는 표현 형식이다. 가장 간단히 표현하자면, 이는 객체와 객체 간의 관계를 나타내는 규칙들의 집합을 통해 표현된다. 역사적으로, 재작성을 추상적으로 다루기 위한 여러 가지 개성적인 표현들이 존재하였다. 그 중에서 게랄드 허트(Gérard Huet)의 표현 형식을 사용하여 표현한다. (ko)
- En lògica matemàtica i informàtica teòrica, un sistema abstracte de reescriptura és un formalisme que captura les nocions essencials i les propietats dels sistemes de . En la seva forma més simple, un sistema abstracte de reescriptura és un conjunt (d'"objectes") juntament amb una relació binària, que hom acostuma a denotar per ; aquesta definició es pot refinar si s'indexen (és a dir, si s'etiqueten) els subconjunts de la relació binària. Tot i la seva simplicitat, un sistema abstracte de reescriptura és suficient per descriure algunes propietats importants dels sistemes de reescriptura, com per exemple les , la i diverses nocions de . (ca)
- In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation. Despite its simplicity, an ARS is sufficient to describe important properties of rewriting systems like normal forms, termination, and various notions of confluence. (en)
- In der Mathematischen Logik und der Theoretischen Informatik steht die Bezeichnung Reduktionssystem, oder abstraktes Reduktionssystem, abgekürzt ARS, für eine Verallgemeinerung von Termersetzungssystemen. In seiner einfachsten Form ist ein ARS eine Menge von Objekten zusammen mit einer binären Relation, die gewöhnlich mit bezeichnet wird. Trotz seiner Einfachheit genügt ein ARS zur Beschreibung wichtiger Eigenschaften von Termersetzungssystemen, wie z. B. Normalformen, Terminiertheit und verschiedene Begriffe der Konfluenz. (de)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - En lògica matemàtica i informàtica teòrica, un sistema abstracte de reescriptura és un formalisme que captura les nocions essencials i les propietats dels sistemes de . En la seva forma més simple, un sistema abstracte de reescriptura és un conjunt (d'"objectes") juntament amb una relació binària, que hom acostuma a denotar per ; aquesta definició es pot refinar si s'indexen (és a dir, si s'etiqueten) els subconjunts de la relació binària. Tot i la seva simplicitat, un sistema abstracte de reescriptura és suficient per descriure algunes propietats importants dels sistemes de reescriptura, com per exemple les , la i diverses nocions de . Històricament hi ha hagut diverses formalitzacions de la reescriptura en un context abstracte, cadascuna amb les seves característiques. Això és degut al fet que algunes nocions són equivalents. La formalització més comuna es deu a Gérard Huet (1980). (ca)
- In der Mathematischen Logik und der Theoretischen Informatik steht die Bezeichnung Reduktionssystem, oder abstraktes Reduktionssystem, abgekürzt ARS, für eine Verallgemeinerung von Termersetzungssystemen. In seiner einfachsten Form ist ein ARS eine Menge von Objekten zusammen mit einer binären Relation, die gewöhnlich mit bezeichnet wird. Trotz seiner Einfachheit genügt ein ARS zur Beschreibung wichtiger Eigenschaften von Termersetzungssystemen, wie z. B. Normalformen, Terminiertheit und verschiedene Begriffe der Konfluenz. Historisch hat es einige verschiedene Abstrahierungen der Termersetzung gegeben, jede mit ihren Besonderheiten. Die heute am meisten verwendete Formalisierung, der hier gefolgt wird, beruht auf den Arbeiten von Gérard Huet (1980). (de)
- In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation. Despite its simplicity, an ARS is sufficient to describe important properties of rewriting systems like normal forms, termination, and various notions of confluence. Historically, there have been several formalizations of rewriting in an abstract setting, each with its idiosyncrasies. This is due in part to the fact that some notions are equivalent, see below in this article. The formalization that is most commonly encountered in monographs and textbooks, and which is generally followed here, is due to Gérard Huet (1980). (en)
- 추상 재작성 시스템은 수리 논리학과 이론 전산학에서 재작성 시스템의 본질적인 개념과 속성을 다루는 표현 형식이다. 가장 간단히 표현하자면, 이는 객체와 객체 간의 관계를 나타내는 규칙들의 집합을 통해 표현된다. 역사적으로, 재작성을 추상적으로 다루기 위한 여러 가지 개성적인 표현들이 존재하였다. 그 중에서 게랄드 허트(Gérard Huet)의 표현 형식을 사용하여 표현한다. (ko)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
