Title: Descriptional Complexity of Formal Systems