追加定義1
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/07 15:39 UTC 版)
任意の ( α , β ) ∈ R {\displaystyle (\alpha ,\beta )\in R} について P α β ( u , v ) = ( u α v , u β v ) {\displaystyle P_{\alpha \beta }(u,\,v)=(u\alpha v,\,u\beta v)} となるような生成写像 P α β : ( V ∪ Σ ) ∗ × ( V ∪ Σ ) ∗ ⟶ ( V ∪ Σ ) ∗ × ( V ∪ Σ ) ∗ {\displaystyle P_{\alpha \beta }:(V\cup \Sigma )^{*}\times (V\cup \Sigma )^{*}\longrightarrow (V\cup \Sigma )^{*}\times (V\cup \Sigma )^{*}} が存在する。 順序対 ( u α v , u β v ) {\displaystyle (u\alpha v,\,u\beta v)} を G {\displaystyle G\,} のプロダクション（生成規則）と呼び、一般に u α v → u β v {\displaystyle u\alpha v\rightarrow u\beta v} のように表記する。
※この「追加定義1」の解説は、「文脈自由文法」の解説の一部です。
「追加定義1」を含む「文脈自由文法」の記事については、「文脈自由文法」の概要を参照ください。
ウィキペディア小見出し辞書の「追加定義1」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 追加定義1のページへのリンク
