Noncontracting grammar

http://dbpedia.org/resource/Noncontracting_grammar an entity of type: Abstraction100002137

Eine monotone Grammatik (auch nichtverkürzende Grammatik, beschränkte Grammatik oder expansive Grammatik) ist eine formale Grammatik, die nur Produktionsregeln enthält, deren rechte Seite nicht kürzer als die linke Seite ist. Ein Ableitungsschritt in einer monotonen Grammatik verkürzt nicht die abzuleitende Satzform. rdf:langString
在形式语言理论中,文法是不收缩的(或单调的),如果所有它的产生规则都有如下形式 α -> β 这里的 |α| ≤ |β|,|α| 指示 α 的长度。 就是说,没有规则会减少被重写的字符串的大小。 它是本质不收缩的,如果可有一个例外,也就是,规则 S → ε 这里的 S 是开始符号而 ε 是空串。 rdf:langString
In formal language theory, a grammar is noncontracting (or monotonic) if all of its production rules are of the form α → β where α and β are strings of nonterminal and terminal symbols, and the length of α is less than or equal to that of β, |α| ≤ |β|, that is β is not shorter than α. A grammar is essentially noncontracting if there may be one exception, namely, a ruleS → εwhere S is the start symbol and ε the empty string, and furthermore, S never occurs in the right-hand side of any rule. rdf:langString
rdf:langString Monotone Grammatik
rdf:langString Noncontracting grammar
rdf:langString 不收缩文法
xsd:integer 12441085
xsd:integer 1059754381
rdf:langString Eine monotone Grammatik (auch nichtverkürzende Grammatik, beschränkte Grammatik oder expansive Grammatik) ist eine formale Grammatik, die nur Produktionsregeln enthält, deren rechte Seite nicht kürzer als die linke Seite ist. Ein Ableitungsschritt in einer monotonen Grammatik verkürzt nicht die abzuleitende Satzform.
rdf:langString In formal language theory, a grammar is noncontracting (or monotonic) if all of its production rules are of the form α → β where α and β are strings of nonterminal and terminal symbols, and the length of α is less than or equal to that of β, |α| ≤ |β|, that is β is not shorter than α. A grammar is essentially noncontracting if there may be one exception, namely, a ruleS → εwhere S is the start symbol and ε the empty string, and furthermore, S never occurs in the right-hand side of any rule. None of the rules of a noncontracting grammar decreases the length of the string that is being rewritten. If each rule even properly increases the length, the grammar is called a growing context-sensitive grammar.
rdf:langString 在形式语言理论中,文法是不收缩的(或单调的),如果所有它的产生规则都有如下形式 α -> β 这里的 |α| ≤ |β|,|α| 指示 α 的长度。 就是说,没有规则会减少被重写的字符串的大小。 它是本质不收缩的,如果可有一个例外,也就是,规则 S → ε 这里的 S 是开始符号而 ε 是空串。
xsd:nonNegativeInteger 10808

data from the linked data cloud