用户程序体现了输入与输出之间的逻辑关系和时序关系。