Vitalsource Technologies, Inc. Finite Automata