图2-3所示是一有限自动机的状态转换图，该自动机所识别语言的特点是 (12) ，等价的正规式为 (13) 。

（12）处填（）。

A．由于C语言程序是由函数构成的，因此它是一种函数型语言
B．Smalltalk、C++、Java、C#都是面向对象语言
C．函数型语言适用于编写处理高速计算的程序，常用于超级计算机的模拟计算
D．逻辑型语言是在Client/Server系统中用于实现负载分散的程序语言

A．逻辑式
B．函数式
C．交互式
D．命令式(或过程式)