@book{1000,
	author = {Hopcroft, John E. and Motwani, Rajjev},
	title = {Introducción a la teoría de autómatas lenguajes y computación},
	publisher = {Pearson Educación,},
	year = {2007},
	address = {Madrid, España :},
	edition = {Tercera edición}
}