Finite automata - Lawson, M.V. (london chapman& hall/crc, 2003)
Keywords: machine thoery