文脈自由言語(ぶんみゃくじゆうげんご)とは、次のような再帰的な生成規則をもつ文脈自由文法によって、与えられた言語の長さ n に対して O(n3) の時間で認識される形式言語。プッシュダウン・オートマトンで受理可能な言語と等価である。 * S → E. * E → T | E - T | E + T | (E). * T → T * E | T / E | id | num. ある言語が文脈自由言語でないことを証明するために文脈自由言語の反復補題が使われることがある。

Property Value
dbo:abstract
  • 文脈自由言語(ぶんみゃくじゆうげんご)とは、次のような再帰的な生成規則をもつ文脈自由文法によって、与えられた言語の長さ n に対して O(n3) の時間で認識される形式言語。プッシュダウン・オートマトンで受理可能な言語と等価である。 * S → E. * E → T | E - T | E + T | (E). * T → T * E | T / E | id | num. ある言語が文脈自由言語でないことを証明するために文脈自由言語の反復補題が使われることがある。 (ja)
  • 文脈自由言語(ぶんみゃくじゆうげんご)とは、次のような再帰的な生成規則をもつ文脈自由文法によって、与えられた言語の長さ n に対して O(n3) の時間で認識される形式言語。プッシュダウン・オートマトンで受理可能な言語と等価である。 * S → E. * E → T | E - T | E + T | (E). * T → T * E | T / E | id | num. ある言語が文脈自由言語でないことを証明するために文脈自由言語の反復補題が使われることがある。 (ja)
dbo:wikiPageID
  • 65 (xsd:integer)
dbo:wikiPageLength
  • 2357 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 92225983 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 文脈自由言語(ぶんみゃくじゆうげんご)とは、次のような再帰的な生成規則をもつ文脈自由文法によって、与えられた言語の長さ n に対して O(n3) の時間で認識される形式言語。プッシュダウン・オートマトンで受理可能な言語と等価である。 * S → E. * E → T | E - T | E + T | (E). * T → T * E | T / E | id | num. ある言語が文脈自由言語でないことを証明するために文脈自由言語の反復補題が使われることがある。 (ja)
  • 文脈自由言語(ぶんみゃくじゆうげんご)とは、次のような再帰的な生成規則をもつ文脈自由文法によって、与えられた言語の長さ n に対して O(n3) の時間で認識される形式言語。プッシュダウン・オートマトンで受理可能な言語と等価である。 * S → E. * E → T | E - T | E + T | (E). * T → T * E | T / E | id | num. ある言語が文脈自由言語でないことを証明するために文脈自由言語の反復補題が使われることがある。 (ja)
rdfs:label
  • 文脈自由言語 (ja)
  • 文脈自由言語 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of