Vitalsource Technologies, Inc. Descriptional Complexity Of Formal Systems