@book{20355,
	author = {Hopcroft,  John E. and  Ullman,  Jeffrey D.},
	title = {Introduction to automata theory, languages, and computation /}
}