Deakstadieđáhus: Descriptional Complexity of Formal Systems