追加定義3
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/07 15:39 UTC 版)
任意の u , v ∈ ( V ∪ Σ ) ∗ {\displaystyle u,v\in (V\cup \Sigma )^{*}} について、 u ⇒ ∗ v {\displaystyle u{\stackrel {*}{\Rightarrow }}v} （あるいは u ⇒⇒ v {\displaystyle u\Rightarrow \Rightarrow v} ）であるとは、 u ⇒ u 1 ⇒ u 2 ⋯ ⇒ u k ⇒ v {\displaystyle u\Rightarrow u_{1}\Rightarrow u_{2}\cdots \Rightarrow u_{k}\Rightarrow v} となるような ∃ u 1 , u 2 , ⋯ u k ∈ ( V ∪ Σ ) ∗ , k ≥ 0 {\displaystyle \exists u_{1},u_{2},\cdots u_{k}\in (V\cup \Sigma )^{*},k\geq 0} が成り立つ場合である。
※この「追加定義3」の解説は、「文脈自由文法」の解説の一部です。
「追加定義3」を含む「文脈自由文法」の記事については、「文脈自由文法」の概要を参照ください。
ウィキペディア小見出し辞書の「追加定義3」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 追加定義3のページへのリンク
