Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems