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

单项选择题 下图为用状态转换图示意的一个图灵机，其字母集合为{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？（）