单项选择题
下图为用状态转换图示意的一个图灵机，其字母集合为{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？（）
单项选择题 设< X，*>是代数系统，*是X上的二元运算，e是关于*的幺元。对于X中的元素x，若存在y∈X，使得y*x=e，则称y是x的左逆元。若存在z∈X，使得x*z=e，则称z是x的右逆元。（取变量方法是先纵后横）幺元是（），没有左逆元的是（）。
单项选择题 对文法，产生的语言是（）。
