Descriptional Complexity of Formal SystemsMichal Hospodár, Galina Jirásková, Stavros Konstantinidis₹3,443