| dbo:abstract
|
- في علوم الكمبيوتر، وبشكل أكثر دقة في إعادة كتابة النظرية، الزوج المهم هو زوج من المصطلحات التي تتدخل في دراسة التقاء (المحلي) لأنظمة إعادة الكتابة. هذان المصطلحان تم الحصول عليهما من المصطلح t، أحدهما بتطبيق قاعدة على t، والآخر بتطبيق قاعدة على مصطلح فرعي من t. (ar)
- A critical pair arises in a term rewriting system when two rewrite rules overlap to yield two different terms. In more detail, (t1, t2) is a critical pair if there is a term t for which two different applications of a rewrite rule (either the same rule applied differently, or two different rules) yield the terms t1 and t2. (en)
- En informatique, plus précisément en théorie de la réécriture, une paire critique est une paire de termes qui intervient dans l'étude de la confluence (locale) des systèmes de réécriture. Il s'agit de deux termes obtenus à partir d'un terme t, l'un en appliquant une règle sur t, l'autre en appliquant une règle sur un sous-terme de t. Par exemple, si on dispose des deux règles (u * v) * z → u * (v * z) et x2 * y2 → (x * y)2, et que l'on considère le terme t = (x2 * y2) * z alors :
* si on applique la première règle sur tout le terme t on obtient x2 * (y2 * z)
* si on applique la deuxième règle sur le sous-terme (x2 * y2) on obtient (x * y)2 * z Les termes x2 * (y2 * z) et (x * y)2 * z forment une paire critique. L'intérêt des paires critiques est le suivant : si un système de réécriture n'a qu'un nombre fini de règles, le nombre de ses paires critiques est fini et si toutes ses paires critiques sont joignables alors il est localement confluent. (fr)
- 임계 쌍(critical pair)은 수리 논리학의 용어이다. 이는 항 재작성 시스템 상에서 재작성 규칙을 중복 적용하여 두 개 이상의 서로 다른 항의 생성을 뜻한다. 가령, 아래의 규칙들로 항 재작성 시스템을 정의해본다면 , 이 경우, 가능한 유일한 임계 쌍은 (g(x,z), f(x,z))이다. (ko)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4753 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:title
| |
| dbp:urlname
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- في علوم الكمبيوتر، وبشكل أكثر دقة في إعادة كتابة النظرية، الزوج المهم هو زوج من المصطلحات التي تتدخل في دراسة التقاء (المحلي) لأنظمة إعادة الكتابة. هذان المصطلحان تم الحصول عليهما من المصطلح t، أحدهما بتطبيق قاعدة على t، والآخر بتطبيق قاعدة على مصطلح فرعي من t. (ar)
- A critical pair arises in a term rewriting system when two rewrite rules overlap to yield two different terms. In more detail, (t1, t2) is a critical pair if there is a term t for which two different applications of a rewrite rule (either the same rule applied differently, or two different rules) yield the terms t1 and t2. (en)
- 임계 쌍(critical pair)은 수리 논리학의 용어이다. 이는 항 재작성 시스템 상에서 재작성 규칙을 중복 적용하여 두 개 이상의 서로 다른 항의 생성을 뜻한다. 가령, 아래의 규칙들로 항 재작성 시스템을 정의해본다면 , 이 경우, 가능한 유일한 임계 쌍은 (g(x,z), f(x,z))이다. (ko)
- En informatique, plus précisément en théorie de la réécriture, une paire critique est une paire de termes qui intervient dans l'étude de la confluence (locale) des systèmes de réécriture. Il s'agit de deux termes obtenus à partir d'un terme t, l'un en appliquant une règle sur t, l'autre en appliquant une règle sur un sous-terme de t. Par exemple, si on dispose des deux règles (u * v) * z → u * (v * z) et x2 * y2 → (x * y)2, et que l'on considère le terme t = (x2 * y2) * z alors : Les termes x2 * (y2 * z) et (x * y)2 * z forment une paire critique. (fr)
|
| rdfs:label
|
- زوج مهم (ar)
- Critical pair (term rewriting) (en)
- Paire critique (fr)
- 임계 쌍 (재작성 시스템) (ko)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
