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