@book{8053,
	author = {Sipser, Michael.},
	title = {Introdução à teoria da computação.},
	publisher = {Cengage Learning,},
	year = {2007.},
	address = {São Paulo :},
	note = {Título original: Introduction to the theory of computation}
}