5yr CureDiamond :verified:

读过《Introduction to Automata Theory, Languages and Computation》 🌕🌕🌕🌕🌕
第三版相较第二版删去了一些技术细节，比如固有歧义性语言的证明就只能在这版上找到。