INTRODUCTION TOO AUTOMATA THEORY: Language & Computation - JOHN E HOPCROFT & JEFFREY D ULLMAN (NAROSA PUBLISHING HOUSE, 1999)