形式文法
正式名称
Formal Grammar（フォーマルグラマー）
一言でいうと
正しい文字列を作るためのルール
初心者向け説明
形式文法とは、文字列をどのようなルールで作るのかを定めたものです。
例えば、
S → aA
A → b
というルールがあれば、
S
↓
aA
↓
ab
という文字列を作ることができます。
プログラミング言語にも、
- if文の書き方
- 式の書き方
- 変数宣言の書き方
などの文法があります。
構文解析では、この文法を使ってソースコードの構造を確認します。
ポイント
- 文字列を生成するルールを定める
- 生成規則によって文字列を作る
- 構文解析と深く関係する
関連用語
関連記事
- 形式言語とは？正規表現・字句解析・構文解析を基礎から理解しよう
🍯 はちみつメモ
形式文法 = 文字列の正しい作り方を決めるルール