Hey!! :o
We have that the sets $S_1$ and $S_2$ are constructible enumerable, that means that there is Turing machine that enumerates them, right? …
No comments:
Post a Comment