Stav dette: Descriptional complexity of formal systems