形式言語
正式名称
Formal Language（フォーマルランゲージ）
一言でいうと
決められたルールを満たす文字列の集合
初心者向け説明
形式言語とは、決められた記号を使い、一定のルールを満たす文字列を集めたものです。
例えば、
0と1だけを使い、
最後が1で終わる
というルールを決めた場合、
1
01
11
101
1001
などが条件を満たします。
形式言語の考え方は、プログラミング言語や正規表現、オートマトン、構文解析などにつながっています。
ポイント
- 決められた規則を満たす文字列の集合
- 使用できる記号の集合をアルファベットという
- プログラミング言語やオートマトンの基礎となる
関連用語
関連記事
- 形式言語とは？正規表現・字句解析・構文解析を基礎から理解しよう
🍯 はちみつメモ
形式言語 = 決められたルールに従う文字列の集合