计算机的算法具有可行性、有穷性、_________________和输入／输出特点。