![]() |
|
![]() |
楼主(阅:55/回:0)从"字符串构造"到完整的数值系统 自然数的构造: 从空字符串 "" 开始,定义为 0 规则:在时钟步 t,在当前字符串末尾追加符号 "|"(或者任何其他符号) t=0: "" → 0 t=1: "|" → 1 t=2: "||" → 2 这样,自然数就是构造过程的当前状态 加法运算的定义: 规则 (a, b, add, c) 过程:从字符串 a 开始,逐个将 b 中的符号追加到 a 的末尾 例如 ( "||", "|||", add, ? ) 会经过步骤: 步骤1: "|||" (追加第一个符号) 步骤2: "||||" (追加第二个符号) 步骤3: "|||||" (追加第三个符号) 输出 "|||||" → 5 乘法运算的定义: 规则 (a, b, multiply, c) 过程:从空字符串开始,重复 a 字符串 b 次 例如 ( "||", "|||", multiply, ? ): 第一次重复: "||" 第二次重复: "||||" 第三次重复: "||||||" 输出 "||||||" → 6 跑跑啦航模 讯客分类信息网 ![]() |