形式语言是用来描述模块具体 (15) 的非正式的比较灵活的语言，优点是接近 (16) 。

（15）处填（）。

A．算法

B．结构

C．行为

D．状态