单项选择题

A.不能构造一套现成的自动化工具
B.有时可以自动进行错误检测
C.语法容易记忆
D.它属于形式化的语言