如下状态图，关于他的语法含义正确的是（）。

单项选择题设字母表中各元素依次为4，3，2，1，则字符串“1423”的哥德尔编码为（）。

A.294000
B.864
C.1423
D.1389150

单项选择题下图为用状态转换图示意的一个图灵机，其字母集合为{0，1，X，Y，B}，其中B为空白字符；状态集合{S1，S2，S3，S4，S5}，其中S1为起始状态，S5为终止状态；箭头表示状态转换，其上标注的如in，out，direction表示输入是in时，输出out，向direction方向移动一格，同时将状态按箭头方向实现转换，其中in，out均是字母集中的符号，direction可以为R（向右移动）、L（向左移动）、N（停留在原处）。‍该图灵机的功能是（）。

A.将形如000111，00001111的0、1串，即左侧连续0的个数和右侧连续1的个数相同的0、1串转换为XXXYYY，XXXXYYYY的形式
B.识别是否如000111，00001111的0、1串，即左侧连续0的个数和右侧连续1的个数相同的0、1串
C.识别是否如0101，01010101的0、1串，即一个0接续一个1，且0的个数和1的个数相同
D.将形如0101，01010101的0、1串，即一个0接续一个1，且0的个数和1的个数相同，转换为XYXY，XYXYXYXY的形式

单项选择题‌含有5个命题变元（要求名字中不含数字）和5个联结词的公式对应的完整真值表上能看到多少布尔量0或1？（）

A.320
B.1024
C.640
D.6400

单项选择题‏设< X，*>是代数系统，*是X上的二元运算，e是关于*的幺元。对于X中的元素x，若存在y∈X，使得y*x=e，则称y是x的左逆元。若存在z∈X，使得x*z=e，则称z是x的右逆元。（取变量方法是先纵后横）幺元是（），没有左逆元的是（）。

A.a，e
B.a，c
C.c，a
D.c，e

单项选择题对文法，产生的语言是（）。

A.
B.
C.
D.