@book{55438,
	author = {Hopcroft, John E., Ullman, Jeffrey D.},
	title = {Introduction to automata theory, languages, and computation},
	publisher = {Narosa},
	year = {1987},
	address = {Delhi}
}