definition of w_i and M_j

Given two integers i and j, word w_i is defined as the binary code for i and M_j as the TM who's code is the binary code for j. If j does not code for a valid TM, then it is considered to be a TM which accepts the empty set ($L(M) = \emptyset$).