题目:以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言,它是
A. Z语言
B. 有穷状态机
C. Petri网
D. 通信顺序进程
答案:评论后可见此内容
推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。