検索結果
ナビゲーションに移動
検索に移動
ページ名と一致
- …（{{lang-en|Link Grammar}}）は、[[Davy Temperley]]と[[Daniel Sleator]]により発明された[[文法]][[理論]]である。[[依存文法]]の一種であり、単語間の関係を元にして文が合成されるというアプローチをとる。例えば「冠詞(例：The)と名詞(例： …3キロバイト (151 語) - 2021年4月13日 (火) 05:31
- 以下では、議論を[[統語論|統語]]（syntax）の曖昧性（ambiguity）に限定し、さらに用語として「文法」ではなく「統語」を使うことができる文脈ではできるだけ「統語」を使う。 …8キロバイト (267 語) - 2021年2月7日 (日) 12:24
- 61キロバイト (6,471 語) - 2024年3月11日 (月) 10:08
ページ本文と一致
- 2キロバイト (29 語) - 2024年6月10日 (月) 15:31
- 2キロバイト (52 語) - 2024年1月15日 (月) 12:34
- …Grammars）とは、 Joshi (1985) の提案した[[自然言語]]の理論に必要であろう特徴を持った[[形式文法]]の概念で、そのような[[文法]]によって定義づけられる言語クラスが'''弱文脈依存言語''' (Mildly Context-sensitive Languages) である。 [[Category:文法]] …4キロバイト (190 語) - 2022年10月24日 (月) 17:09
- …（{{lang-en|Link Grammar}}）は、[[Davy Temperley]]と[[Daniel Sleator]]により発明された[[文法]][[理論]]である。[[依存文法]]の一種であり、単語間の関係を元にして文が合成されるというアプローチをとる。例えば「冠詞(例：The)と名詞(例： …3キロバイト (151 語) - 2021年4月13日 (火) 05:31
- * タイプ-0 文法（{{ill|制限のない文法|en|Unrestricted grammar}}）は全ての形式文法を包含する。この文法は[[チューリングマシン]]が認識 * タイプ-1 文法（[[文脈依存文法]]）は[[文脈依存言語]]を生成する。この文法は <math>\alpha A\beta \rightarrow \alpha\ga …8キロバイト (361 語) - 2024年6月19日 (水) 08:10
- 3キロバイト (45 語) - 2020年1月6日 (月) 07:38
- 以下では、議論を[[統語論|統語]]（syntax）の曖昧性（ambiguity）に限定し、さらに用語として「文法」ではなく「統語」を使うことができる文脈ではできるだけ「統語」を使う。 …8キロバイト (267 語) - 2021年2月7日 (日) 12:24
- 4キロバイト (189 語) - 2025年1月5日 (日) 15:14
- 5キロバイト (185 語) - 2023年1月3日 (火) 11:04
- …文法]]、[[主辞駆動句構造文法]]、[[語彙機能文法]]といった[[形式文法]]において、属性（素性）と値の対の集合を意味する。例えば、「[[数 (文法)|数]]」という属性には「単数形」という値が対応する。属性値は不可分（[[LISP]]のアトムのようなもの、前述の「単数形」というシンボルなど）なもの [[Category:文法]] …3キロバイト (59 語) - 2021年3月20日 (土) 04:40
- ==文法== …5キロバイト (369 語) - 2022年4月27日 (水) 13:17
- }}</ref> によって提案された生成文法の古典的な形式では、文法 ''G'' は次のように構成される： …6キロバイト (274 語) - 2017年1月15日 (日) 14:46
- ==文法== …6キロバイト (359 語) - 2024年8月13日 (火) 06:36
- …short|Left recursion}}）とは、[[言語]]（普通、[[形式言語]]について言うが、[[自然言語]]に対しても考えられ得る）の[[文法]]（構文規則）にあらわれる[[再帰]]的な規則（定義）の特殊な場合で、ある[[非終端記号]]を展開した結果、その先頭（最も左）にその非終端記号自身があ …13キロバイト (664 語) - 2018年10月13日 (土) 13:21
- == 文法 == …7キロバイト (87 語) - 2023年10月13日 (金) 07:28
- ===文法=== …8キロバイト (467 語) - 2022年10月25日 (火) 16:00
- 8キロバイト (392 語) - 2025年1月17日 (金) 07:26
- '''形式言語'''（けいしきげんご、{{lang-en-short|formal language}}）は、その[[文法]]（構文、[[統語論]]）が、場合によっては意味（[[意味論 (曖昧さ回避)|意味論]]）も、形式的に与えられている（[[形式体系]]を参照）[[言語 それらの学問分野では、如何なる形式言語を研究すべきかの[[文法|文法論]]（構文論・統辞論）や形式言語の[[意味論 (曖昧さ回避)|意味論]]や[[演繹|演繹論]]が研究される。 …10キロバイト (279 語) - 2025年3月11日 (火) 18:10
- 21キロバイト (649 語) - 2024年2月7日 (水) 11:32
- '''形式文法'''（けいしきぶんぽう、''Formal Grammar''）は、形式的に与えられた（[[形式体系]]を参照）[[文法]]である。「[[言語]]」をその言語における文の[[集合]]として与えるものとして、ここでは、（有限の）文字群上の有限長の文字列の（通常無限な）集合が …7">Chomsky, Noam, ''Syntactic Structures'', Mouton, The Hague, 1957.</ref>。文法 ''G'' は以下の構成要素から成る。 …18キロバイト (760 語) - 2023年8月26日 (土) 13:49