Vitalsource Technologies, Inc. Formale Sprachen, Compilerbau, Berechenbarkeit Und Komplexitat