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