$<M>$ is the encoding of a TM and L(M) is the language accepted.

  • $\begingroup$ When you wrote $L(M)\; is\; finite\; set$ - do you mean it it's have finite amount of words? I.e. the is a number $n$ of acceptable words? $\endgroup$
    – Yoar
    Dec 18, 2018 at 21:12
  • 1
    $\begingroup$ Yes, that is what I mean $\endgroup$ Dec 18, 2018 at 21:14


Browse other questions tagged or ask your own question.