Text this: Descriptional complexity of formal systems