其他分享
首页 > 其他分享> > TCS学习笔记[0] 丘奇-图灵论题 S语言 可计算函数

TCS学习笔记[0] 丘奇-图灵论题 S语言 可计算函数

作者:互联网

目录

1 程序设计语言\(\mathscr S\)和可计算函数

1.1 预备知识

  1. Q: 本节考察的函数和一般数学书中的函数有什么异同?
    A: 把部分函数简称为函数(可能定义域中只有一部分有对应的函数值,其余无定义)
    注:处处无定义称为空函数。
    注:在本课程中,考虑的往往是\(N^n\to N(其中N=\{0,1,\cdots\})\)的数论函数,以及\((A^*)^n\to A^*\)的字函数。
  2. Q: 字符串的拼接运算对应什么代数结构?
    A: 封闭,有幺元\(\epsilon\),有结合律,不可交换,没有逆元,则是幺半群。

1.2 Church-Turing论题

  1. Q: 如何理解“论题”?什么叫“推翻Church-Turing论题”?
    A: Church-Turing论题不是定理。它断言某个没有严格形式定义的直观概念(直观上的可计算性)对应于某个形式定义的数学概念。
    因此,Church-Turing论题更像是一个“定义”。“推翻”就是说该定义不合理,比如明显直观上可计算的按此定义不可计算,或者反之。
    注:由于\(\mathscr S\)语言特别简单,所以几乎很难从“直观上不可计算的按Church-Turing论题可计算”角度说Church-Turing论题不合理。
    思考:由于长时间的潜移默化,人们是否会认为计算机能算的就是直观可计算,从而使得Church-Turing论题永不会被推翻?

1.3 程序设计语言\(\mathscr S\)

  1. Q: 解释“无条件转向语句”。
    A: 设中间变量\(Z_i\)除了在此处不在任何地方出现,则
Z_i <- Z_i + 1
IF Z_i != 0 GOTO A_1

相当于无条件转向标号\(A_1\),可以简记作GOTO A_1
GOTO A_1并不是\(\mathscr S\)的语句,但可以被宏展开成对应的\(\mathscr S\)程序片段。

  1. Q: 显然GOTOIF V != 0 GOTO为基础可以构造出IF V = 0 GOTO的宏展开。那能否以IF V = 0 GOTO为基础(即:只能使用IF V = 0 GOTOV <- V + 1V <- V - 1三种语句)构造出另外两者呢?
    A: 显然IF Z_i = 0 GOTO A,其中Z_i是其它地方不出现的变量就是GOTO A的宏展开。
    IF V = 0 GOTO B
    GOTO A
[B] V <- V + 1
    V <- V - 1

就是IF V != 0 GOTO A的宏展开。
(注:实际上在\(\mathscr S\)语言严格形式定义中,V <- V空语句也是允许的。这给宏展开带来了方便,且在之后还有其它理论上用途。)

  1. Q: 举例说明“一个宏展开和一个独立使用的程序是有区别的”
    A: 独立使用的程序初始时输入各变量值为0,且输出时任何副作用都可以被容忍,只需\(Y\)输出正确即可。
    但宏展开要考虑初始各变量的值,并避免副作用。
    例如赋值语句V <- V',作为宏展开时,要考虑\(V\)初始取值未必为0. 并且在执行结束后V'的值不能受影响。
    具体地,初始时用一个“do...until循环”把V值减为0. 并使用
V' <- V' - 1
V <- V + 1
Z <- Z + 1

结构作“复制”(复制了两份V'),方便对V赋值完成后用副本ZV'还原。

  1. Q: 解说上一问中出现的“do...until循环”说法,并用\(\mathscr S\)实现“while循环”。
    A:
[A] ...
    ...
    IF ... GOTO A

相当于do...until循环。当然截至目前IF处能填的条件只有简单的不等于0. 使用1.的宏的话也可以填等于0.
例如上一问中为了赋值V <- 0,采用如下do...until循环

[A] V <- V - 1
    IF V != 0 GOTO A

用\(\mathscr S\)语言实现while循环:

[A] IF ... GOTO B
    ...
    ...
    GOTO A
[B] V <- V

课本上为了不使用IF V = 0 GOTO的宏,写为了:

[A] IF ... GOTO B
    GOTO C
[B] ...
    ...
    GOTO A
[C] V <- V
  1. Q: 词义辨析:
    state 与 snapshot
    instruction 与 statement
    dummy statement 与 empty program 与 empty function
    A: 状态(state)是等式的有穷集合,对于每个程序中出现的变量存在唯一指定值。快相(snapshot)是二元组\((i,\sigma)\),其中\(i\)是即将执行的指令编号。
    注:对于共\(q\)条指令的程序,编号从\(i=1\)到\(i=q\).
    初始时\(i=1\),此时若\(\sigma\)是输入变量指定,其余变量为0的状态,则是初始快相。
    \(i=q+1\)表示计算结束,相应快相为终点快相。
    语句(statement)或者语句前加标号(label)是指令(instruction),程序是有穷的指令序列(而不是语句序列)。
    空语句(dummy statement)V <- V不起任何作用,空程序(empty program)长度为0不含任何指令。空程序和只有空语句的程序效果相同。空函数(empty function)对任何输入无定义(程序执行不终止)。空程序计算的是恒为0的函数而不是空函数。

1.4 可计算函数

  1. Q: 解释记号\(\phi_\mathscr P^{(n)}\). 解释\(f(\cdot)=\phi_\mathscr P^{(n)}(\cdot)\)中的等号。
    A: 对于输入\(m\)元的程序\(\mathscr P\),如果\(m>n\)则多余输入位补0,\(m<n\)删除多余输入,由此构造出\(n\)元数论函数,记为\(\phi_\mathscr P^{(n)}\).
    如果\(f\)和\(\phi_\mathscr P^{(n)}\)要么同时有定义且函数值相等,要么同时无定义(程序\(\mathscr P\)不终止),则称为部分可计算。全函数部分可计算则可计算。
  2. Q: 根据一般的程序设计语言中常见的运算符列举一些可计算函数(或谓词)。
    A: (合理即可)\(+,\dot -\)(特别注意此处加点,区分于部分函数\(-\)),\(\cdot,=,\ge,\le,\ne,<,>\)等等。

标签:...,GOTO,mathscr,图灵,丘奇,TCS,论题,Turing,函数
来源: https://www.cnblogs.com/minor-second/p/15488819.html