Here we introduce mapping reductions and show that if A mapping reduces to B and B is decidable, then A is also decidable.

▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.

свернуть