参考答案：D

解析：

形式语言是用来描述模块具体算法的非正式的比较灵活的语言。其外层语法是确定的，而内层语法不确定。外层语法描述控制结构用类似一般编程语言的保留字，所以是确定的；内层语法故意不确定，可以按系统的具体情况和不同层次灵活选用，实际上可用自然语言来描述具体操作。

可以看出形式语言同结构性语言的想法是一致的。形式语言的优点是接近自然语言 (英语)，所以易于理解；其次，它可以作为注释嵌套在程序中成为内部文档，提高程序的自我描述性；第三，因为是形式语言，易于被计算机处理，可用行编辑程序或字处理系统对形式语言进行编辑修改。