ソフトウェアサイエンスになじみ深い形式言語理論の枠組みであるチョムスキー階層をあらためて探検する.文法の記述の方法および4つの文法クラス間の隙間に注目し,とくに機械と人間(生物)の間を攻めるともいえる弱文脈依存文法についてはやや詳しく解説する.