@book{15606,
	author = {John E. Hopcroft},
	title = {Introduction to Automata Theory, Languages, and Computation},
	publisher = {Pearson Education},
	year = {2009},
	address = {NULL},
	edition = {3rd  ed}
}