算法和程序都是指令的有限序列