单项选择题

A.全形式化的
B.形式化的
C.半形式化的
D.非形式化的