שליחה במסרון: Descriptional complexity of formal systems