An identity between the m-spotty weight enumerators of a linear code and its dual

The m-spotty byte error control codes provide a good source for detecting and correcting errors in semiconductor memory systems using high density RAM chips with wide I/O data (e.g. 8, 16, or 32 bits). m-spotty byte error control codes are very suitable for burst correction. Here, we introduce the m-spotty weights and m-spotty weight enumerator of linear codes over the ring F_2+uF_2 and prove a MacWilliams type identity.