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