3 ms·
> I was saying something different It's important to be precise with language; said encoding is a description of a given TM on a particular input, since a map
by jhanschoo 6y ago
> I was saying something different
It's important to be precise with language; said encoding is a description of a given TM on a particular input, since a map exists from it to the space of outputs union DOESNOTTERMINATE. Now, whether or not this map is a computable function is a different question.