ALI的错误不少哦

Springer的 Automata, Logics, and Infinite Games 好像错误不少啊。看了前7章了，几乎每章都有错误。有些例子都给错了。一些定理的证明也有笔误。这和Springer一贯标榜的高质量有所不符的说。 里面的练习题挺有意思的，能帮助理解书里的概念。可惜没人和我讨论。