INTRODUCTION TO AUTOMATA THEORY,LANGUAGES AND COMPUTATION - Hopcroft,J.E.; Ullman,J.D. (1979)