Given a program, finding another program that has the same input to output map is much easier than given two programs, determining if they have the same input to output map.
This is interesting. Do you have any sources that discuss why this is so?
The second problem is equivalent to the halting problem. The first problem isn’t.
The second problem is equivalent to the halting problem. The first problem isn’t.