IT資格用語解説応用情報技術者試験・コンパイラ理論
形式言語
更新日:
用語解説
形式言語は、決まった記号と文法の規則で、厳密に定義された言語です。
■ 試験で押さえるポイント
プログラム言語は形式言語の例です。
チョムスキーは、文法を0型〜3型の4つに分類しました。
文法の種類によって、受理する機械（オートマトン）が決まります。
■ 過去問での着眼点
正規言語は有限オートマトン、文脈自由言語はプッシュダウンオートマトンで受理します。
例: プログラムの文法をBNFで定義し、コンパイラが構文を解析します。