Descriptional Complexity of Formal Systems