下图为用状态转换图示意的一个图灵机，其字母集合为{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（停留在原处）。
‍该图灵机的功能是（）。

单项选择题‌含有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.

单项选择题‎考虑两个机器如图，给出它们的形式描述分别是（从左到右）（）。

A.[11+（10+0）（11+0）]*{（01）*+[（001+11）（01+1+000）]*}
B.[01+（00+1）（11+0）][11+（10+0）（11+0）]*（01+1+000）{（01）*+（10）*+[（001+11）（01+1+000）]*}
C.（01+1+000）{（01）*+（10）*+[（001+11）（01+1+000）]*}[01+（00+1）（11+0）][11+（10+0）（11+0）]*

单项选择题下图为用状态转换图示意的一个图灵机，其字母集合为{V，C，+，=，“空格”，；}；状态集合{S1，S2，S3，S4，S5，S6，S7}，其中S1为起始状态，S7为终止状态；箭头表示状态转换，其上标注的如in，out，direction表示输入是in时，输出out，向direction方向移动一格，同时将状态按箭头方向实现转换，其中in，out均是字母集中的符号，null表示什么也不写，direction可以为R（向右移动）、L（向左移动）、N（停留在原处）。下列说法正确的是（）。

A.不能够识别“V=C；”形式的符号串，能识别“V=V；”形式的符号串
B.既能够识别“V=V+C；”形式的符号串，不能识别“V=C+V；”形式的符号串
C.也不能能够识别“V=C+C；”形式的符号串，不能识别“V=V+C；”形式的符号串
D.既能够识别“V=C+C；”形式的符号串，又能识别“V=V+C；”形式的符号串