@book{5921,
	author = {Hopcroft, John E},
	title = {Introduction to Automata Theory, Languages, and Computation},
	edition = {3rd ed.}
}