@book{71090,
	author = {HOPCROFT AND ETC},
	title = {INTRODUCTION TO AUTOMATA THEORY LANGUAGES AND COMPUTATION},
	publisher = {PEARSON},
	year = {2013},
	edition = {3}
}