Theory of finite automata : with an introcuction to formal languages - Carroll, John; Long, Darrell