Vitalsource Technologies, Inc. Automata Theory And Formal Languages