試験対策

あまり余裕ないけどここで明日（今日）の確認。

言語･オートマトン

おそらく以下のような感じかな。

FAで〜を書け。

対応するものを書いてしまえばok

FAで書けないことを示せ。

鳩ノ巣原理に持ち込めばok

pdaで〜を書け。

実際に書く。

pdaで書けないことを示せ。

uvwxyに持ち込む。

コンパイラ