算法的四个基本特性包括有穷性、确定性、输入和输出，而“可变性”并不是算法的属性，因此不属于其基本特性。