Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci | lit.salon