Finite automata / - Lawson, Mark V. (Chapman & Hall/CRC,, 2004)