@book{193134,
	author = {Hopcroft, John E. Motwani, Rajeev. Ullman, Jeffrey D.},
	title = {Introduction to automata theory, languages and computation},
	publisher = {Pearson Education},
	year = {2001},
	address = {New Delhi},
	edition = {2nd ed.}
}