Automata, Computability and Complexity : Theory and Applications - Rich, Elaine (Saint Joseph's University, 2009)