@book{6227,
	author = {Hopcroft, John E.},
	title = {Introduction to automata theory, languages, and computation},
	publisher = {Pearson Education, Asia},
	year = {2002},
	edition = {2nd ed.}
}