| http://dbpedia.org/ontology/abstract
|
Двухуровневая грамматика — это формальная … Двухуровневая грамматика — это формальная грамматика, которая используется для порождения другой формальной грамматики, например с бесконечным множеством правил. Именно так грамматика ван Вейнгаардена была использована для определения языка Алгол-68. Контекстно-свободная грамматика, которая определяет правила для другой грамматики, может породить в сущности бесконечное множество правил производной грамматики. Это делает двухуровневые грамматики более мощными, чем одноуровневые контекстно-свободные грамматики, так как было доказано, что двухуровневые порождающие грамматики являются полными по Тьюрингу. Двухуровневой грамматикой может также называться формальная грамматика для двухуровневого формального языка, то есть языка, заданного на двух уровнях, например уровень слов и уровень предложений.пример уровень слов и уровень предложений.
, A two-level grammar is a formal grammar th … A two-level grammar is a formal grammar that is used to generate another formal grammar [1], such as one with an infinite rule set [2]. This is how a Van Wijngaarden grammar was used to specify Algol 68 [3]. A context free grammar that defines the rules for a second grammar can yield an effectively infinite set of rules for the derived grammar. This makes such two-level grammars more powerful than a single layer of context free grammar, because generative two-level grammars have actually been shown to be Turing complete. Two-level grammar can also refer to a formal grammar for a two-level formal language, which is a formal language specified at two levels, for example, the levels of words and sentences.xample, the levels of words and sentences.
, 两级文法是下列两种形式结构之一： 1.
* 两级形式语言的形式文法，这种语言是按两个级别来指定的形式语言，比如，字和句两个级别。 2.
* 用来生成其他形式文法的形式文法[1]（页面存档备份，存于互联网档案馆）。定义次级文法的规则的上下文无关文法可以生成导出文法的规则的一个有效的无限集合。可以生成另一个上下文无关文法的两级文法比单一层上下文无关文法更加强力，因为有生成力的两级文法已经实际上被证实是图灵完全的。
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.metanotion.net/misc/thesis.pdf%23search=%22van%20Wijngaarden%20grammar%20Algol68%20ACM%20Portal%22 +
, http://web.cs.wpi.edu/~jshutt/adapt/2level.html +
, http://www.cs.chalmers.se/~kentp/proglang.pdf +
, http://burks.bton.ac.uk/burks/language/other/a68rr/rrtoc.htm +
|
| http://dbpedia.org/ontology/wikiPageID
|
479990
|
| http://dbpedia.org/ontology/wikiPageLength
|
1950
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
744298834
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Turing_complete +
, http://dbpedia.org/resource/Affix_grammar +
, http://dbpedia.org/resource/Algol_68 +
, http://dbpedia.org/resource/Context_free_grammar +
, http://dbpedia.org/resource/Attribute_grammar +
, http://dbpedia.org/resource/Formal_grammar +
, http://dbpedia.org/resource/Van_Wijngaarden_grammar +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Category:Formal_languages +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Compu-lang-stub +
, http://dbpedia.org/resource/Template:Citation_needed +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_languages +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Grammar +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Two-level_grammar?oldid=744298834&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Two-level_grammar +
|
| owl:sameAs |
http://dbpedia.org/resource/Two-level_grammar +
, http://ru.dbpedia.org/resource/%D0%94%D0%B2%D1%83%D1%85%D1%83%D1%80%D0%BE%D0%B2%D0%BD%D0%B5%D0%B2%D0%B0%D1%8F_%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0 +
, http://www.wikidata.org/entity/Q986385 +
, https://global.dbpedia.org/id/57SR4 +
, http://zh.dbpedia.org/resource/%E4%B8%A4%E7%BA%A7%E6%96%87%E6%B3%95 +
, http://hr.dbpedia.org/resource/Dvorazinska_gramatika +
, http://rdf.freebase.com/ns/m.02fk9p +
, http://yago-knowledge.org/resource/Two-level_grammar +
|
| rdf:type |
http://www.wikidata.org/entity/Q315 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/ontology/Book +
, http://dbpedia.org/class/yago/WikicatFormalLanguages +
, http://dbpedia.org/ontology/Language +
, http://www.wikidata.org/entity/Q9143 +
, http://schema.org/Language +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/ontology/ProgrammingLanguage +
|
| rdfs:comment |
两级文法是下列两种形式结构之一： 1.
* 两级形式语言的形式文法，这种语言是按两个级别来指定的形式语言，比如，字和句两个级别。 2.
* 用来生成其他形式文法的形式文法[1]（页面存档备份，存于互联网档案馆）。定义次级文法的规则的上下文无关文法可以生成导出文法的规则的一个有效的无限集合。可以生成另一个上下文无关文法的两级文法比单一层上下文无关文法更加强力，因为有生成力的两级文法已经实际上被证实是图灵完全的。
, Двухуровневая грамматика — это формальная … Двухуровневая грамматика — это формальная грамматика, которая используется для порождения другой формальной грамматики, например с бесконечным множеством правил. Именно так грамматика ван Вейнгаардена была использована для определения языка Алгол-68. Контекстно-свободная грамматика, которая определяет правила для другой грамматики, может породить в сущности бесконечное множество правил производной грамматики. Это делает двухуровневые грамматики более мощными, чем одноуровневые контекстно-свободные грамматики, так как было доказано, что двухуровневые порождающие грамматики являются полными по Тьюрингу.е грамматики являются полными по Тьюрингу.
, A two-level grammar is a formal grammar th … A two-level grammar is a formal grammar that is used to generate another formal grammar [1], such as one with an infinite rule set [2]. This is how a Van Wijngaarden grammar was used to specify Algol 68 [3]. A context free grammar that defines the rules for a second grammar can yield an effectively infinite set of rules for the derived grammar. This makes such two-level grammars more powerful than a single layer of context free grammar, because generative two-level grammars have actually been shown to be Turing complete.actually been shown to be Turing complete.
|
| rdfs:label |
两级文法
, Two-level grammar
, Двухуровневая грамматика
|
