Vitalsource Technologies, Inc. Finite-state Methods And Natural Language Processing