Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman. - Hopcroft, John E., 1939- (Addison-Wesley series in computer science and information processing, 1969)