検索結果
ナビゲーションに移動
検索に移動
ページ名と一致
- 6キロバイト (275 語) - 2021年8月4日 (水) 06:26
- 11キロバイト (529 語) - 2024年4月27日 (土) 08:44
- [[File:Automata theory.svg|thumb|right|250px|[[オートマトン]]理論]] …]]、[[言語学]]、[[計算機科学]]、[[哲学]]、[[生物学]]、[[数学]]、[[論理学]]など様々な領域で利用される。有限オートマトンは[[オートマトン]]理論や[[計算理論]]で研究される一種のオートマトンである。[[情報工学]]や計算機科学では、アプリケーションの動作のモデリング、デジタルシステムの …32キロバイト (1,828 語) - 2024年12月30日 (月) 20:14
ページ本文と一致
- 4キロバイト (195 語) - 2025年2月2日 (日) 03:15
- [[形式言語]]と[[オートマトン]]の理論において、'''アルファベット''' ([[英語|英]]: alphabet) または'''字母'''とは、文字や数字などといったような「[[ …1キロバイト (31 語) - 2024年2月21日 (水) 15:05
- 6キロバイト (275 語) - 2021年8月4日 (水) 06:26
- 4キロバイト (77 語) - 2023年2月18日 (土) 17:03
- '''プッシュダウン・オートマトン'''（{{lang-en-short|pushdown automaton, PDA}}）は、[[オートマトン]]の一種であり、[[文脈自由言語]]を認識する[[抽象機械]]である。 …istic pushdown automaton）と呼ばれる。[[決定性有限オートマトン]]に基づいている場合、「{{仮リンク|決定性プッシュダウン・オートマトン|en|Deterministic pushdown automaton}}」（DPDA、deterministic pushdown automato …9キロバイト (585 語) - 2024年4月1日 (月) 16:09
- 992バイト (24 語) - 2022年5月24日 (火) 20:10
- …の中から生まれた概念だが、TAG以外にもこのクラスの言語を生成する文法が[[言語学]]および形式言語論において多数提案されている。また、形式言語・[[オートマトン]]論的な研究も進んでおり、Weir (1992) によって弱文脈依存言語の性質を持つ[[形式言語の階層]] (Weir's Control Langu …4キロバイト (190 語) - 2022年10月24日 (月) 17:09
- 3キロバイト (68 語) - 2024年6月2日 (日) 17:15
- …号、<math>\gamma</math> は終端記号と非終端記号から構成される文字列である。この文法で生成される言語群は非決定性[[プッシュダウン・オートマトン]]が認識できる言語である。多くの[[プログラミング言語]]の文法は、ほぼ<ref>たとえばC言語の場合の1例としては、typedefが現れた後は同じ綴 !オートマトン …8キロバイト (361 語) - 2024年6月19日 (水) 08:10
- 11キロバイト (529 語) - 2024年4月27日 (土) 08:44
- 1キロバイト (145 語) - 2013年4月7日 (日) 08:46
- 4キロバイト (139 語) - 2025年2月23日 (日) 14:18
- [[文脈自由言語]]は、ある固定された[[文脈自由文法]]によって生成される語の集合として定義される。もしくは、(ある1つの) [[プッシュダウン・オートマトン]]で受理可能な語すべての集合とも定義される。文脈自由言語の反復補題とは、以下の内容を指す。 …4キロバイト (183 語) - 2023年10月20日 (金) 23:53
- 2キロバイト (73 語) - 2022年7月21日 (木) 07:49
- 12キロバイト (639 語) - 2023年9月22日 (金) 19:36
- …ングマシンより弱い（制限された）計算モデルを対象とすることもある。これらに関する理論を、「オートマトン(の)理論」と呼ぶことがある（この文脈では「[[オートマトン]]」とは、チューリングマシンより弱い（制限された）機械の総称である）。 …な[[有限オートマトン]]は回路設計などに使われる。[[文脈自由文法]]はプログラミング言語の構文を定義するのに使われる。非決定性[[プッシュダウン・オートマトン]]は文脈自由文法と等価である。[[原始再帰関数]]は再帰関数のサブクラスを定義したものである。モデルが異なれば得意分野も異なる。 …9キロバイト (177 語) - 2023年9月10日 (日) 08:42
- * [[オートマトン]] …15キロバイト (607 語) - 2025年2月22日 (土) 13:56
- …納的なデータ型を用いて) 記述するのに対し、余代数的仕様はシステムの動作を余帰納的なプロセス、つまりセレクタの出力によって観測される内容として ([[オートマトン|オートマトン理論]]のような考え方で) 記述する。このときありえる全ての無限動作を漏れなく重複なく集めてきた集合が[[始対象と終対象|終]]余代数とな …6キロバイト (362 語) - 2017年11月12日 (日) 01:48
- 18キロバイト (622 語) - 2024年8月27日 (火) 09:12
- 形式言語の理論、特に[[オートマトン|オートマトン理論]]と関連したそれにおいては、言語は[[アルファベット (計算機科学)|アルファベット]]の列（語 word） の集合である<ref> …10キロバイト (279 語) - 2025年3月11日 (火) 18:10