@book{6947,
	author = {Hopcroft, John E., and Ullman, Jeffrey D.,},
	title = {Introduction to automata theory, languages, and computation /},
	publisher = {Addison-Wesley;},
	year = {c1979 [reprinted 1999].},
	series = {Addison-Wesley series in computer science},
	address = {Reading, Mass. ;},
	note = {Includes index.}
}