形式言語ー形式文法と言語処理

以下に詳細解説へのリンクを張ります。

http://home.a00.itscom.net/hatada/lp2012/chap02/formal-language.html

ウィキペディア

http://kurt.scitec.kobe-u.ac.jp/~kikyo/lec/06/automaton/


プログラミング言語が大体、文脈自由文法でできているというのは
興味深いです。