Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci
Markus Holzer