1月9日（土）の日記

• 昼過ぎまで寝てしまう。そしてまたしてもピザーラを注文してしまう。

• 米田政明監修『オートマトン・言語理論の基礎』、第3章「プッシュダウンオートマトン」。オートマトンを見て、それが受理する言語を答える、というのはなんとかできるのだが、受理する言語からオートマトンを構成するというのが、なかなかうまくできない。そのへん、もう少し手取り足取り的な解説がほしい。