Hopcroft, J., Motwani, R. and Ullman, J., 2007. Introduction to automata theory, languages, and computation
. Boston: Pearson Addison-Wesley.