Vitalsource Technologies, Inc. Algebraic And Structural Automata Theory