** Next:** acceptance table
** Up:** A non-r.e. language: L_{d}
** Previous:** A non-r.e. language: L_{d}

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 ().

*root*

*6/10/1998*