John E Hopcroft,et al.Introduction to Automata Theory,Language,and Computation(2nd edition)[M].Prentice Hall,2001:52-89.

• 蒋宗礼；形式语言与自动机理论[M].；北京:清华大学出版社2003