INTRODUCTION TO THEORY OF AUTOMATA, FORMAL LANGUAGES, AND COMPUTATION - GHOSH, DEBIDAS (PHI, 2013)