Some programs might never halt when run on themselves, though -- so let's use DOES-HALT to write pseudo-code for a program that checks to see what happens when a program is given itself as input.
Some programmers write pseudo-code before they begin writing their program.
有些程序员在他们开始编写程序之前会编写一些伪代码。
3
The current channel is set by the calling program or transaction by issuing a LINK, XCTL, START and pseudo-conversational RETURN with the channel parameter.