ג'פרי אולמן

Introduction to Automata Theory, Languages, and Computation