Vitalsource Technologies, Inc. Descriptive Set Theoretic Methods In Automata Theory