Your example of PDA's would require to have them interacting at every step as was said in the FOM list from where everybody is jumping to wrong conclusions. Smith's proof does not suppose any communication.
"The algorithm to do that is extremely nasty. You might want to mug someone with it." -- M. Devine, Computer Science 340