「形式文法」の版間の差分

'''形式文法'''（けいしきぶんぽう、''Formal Grammar''）は、形式的に与えられた（[[形式体系]]を参照）[[文法]]である。「[[言語]]」をその言語における文の[[集合]]として与えるものとして、ここでは、（有限の）文字群上の有限長の文字列の（通常無限な）集合が、形式的に記述される。

形式文法にはふたつの捉えかたがある。それは「生成」と「分析」である。[[#チョムスキー階層]]の節および単独記事に詳細があるが、両者は対応するので、ある意味では同じものをそれぞれ逆の側から見たものにすぎない。

 

 

=== 例 ===

 

<math>N = \left \{S, B\right \}</math>, <math>\Sigma = \left \{a, b, c\right \}</math> の文法 <math>G</math> について、生成規則 <math>P</math> が以下の規則から構成される。