「形式文法」の版間の差分
削除された内容 追加された内容
m Reverted edit of 202.222.0.33 (会話), changed back to last version by JAnDbot |
m →形式的定義 |
||
21行目:
=== 形式的定義 ===
生成文法の定式化は[[1950年代]]に[[ノーム・チョムスキー]]によって最初に提案された。文法 ''G'' は以下の構成要素から成る。
* 「[[非終端記号]]」の有限集合 <math>N</math>。
* 「[[終端記号]]」の有限集合 <math>\Sigma</math>。<math>N</math> とは共通の元を持たない。
* 「生成規則」の有限集合 <math>P</math>。各生成規則は以下のような形式である。
:: <math>(\Sigma \cup N)^{*}</math> 内の文字列 <math>\longrightarrow (\Sigma \cup N)^{*} </math> 内の文字列
| |||