挺好的,有助于理解下推自动机,以及极其模拟过称。