[单选]  （）是一种表示处理逻辑的规范化语言工具。逻辑判断及操作的选择均用结构严谨的语言给予描述。