程序顺序执行时具有_____和_____两个基本特性，由此可确定其执行结果具有确定性和可再现性。