結局今日はε-NFAとNFAの等価性証明（ようするに勉強会の担当部分）に取り組んでたら終わってしまった。きー！ まぁオートマトンに詳しくなるのは博士論文的にもそれなりに喜ばしいことではあるのだが。 頂いたLAMYの万年筆でレジメを書いていたのだけど（論…