INTRODUCTION TO AUTOMATA THEORY LANGUAGES AND COMPUTER - JOHN.E, HOPCROFT, and ULLMAN, JAFFERY,D (2002)