大丈夫？

概要を読むと難しそうなんだけど
「オートマトンと単純型付きラムダ計算の基本的なところがわかっていれば大丈夫」
うーむ