SMS dit: Descriptional complexity of formal systems