Talk:Descriptional Complexity of Formal Systems