计算机图灵奖获得者N．Wirth曾提出一个著名公式：算法+________=程序。