記号と構文記述法 形式文法と形式言語 有限オートマトンと言語 正規表現 有限オートマトンの認識する言語のいくつかの性質 有限オートマトンから正規表現へ 正規言語の性質 形式文法とそのクラス 導出 認識・構文解析〔ほか〕