msm8976 在 一个自定义语言推理问题,o1 o3-mini-high r1都答不对,有没有佬试试o1-pro 中发帖
从Steam游戏A=B里摘出来的,这个游戏也挺有意思,本来示例3和最终问题是反过来的(现在的示例3最难),结果发现就算给了更复杂的示例3,简单一点的最终问题还是推理不出来
以下是一个图灵完备语言(A=B)的指令集、程序结构、执行流程:
指令集
A=B 的指令集包括:
stringl=string2
#尝试找到字符串中最靠左的一个 string1,并将其替换为 string2。
string1=(return)string2
#如果匹配到 string1,立刻终止程序运行,直接将 string2 作为输出串。
程序结构
一个 A=B 程序由若干行指令组成,每行必须包括恰好一个等号,或者为空行。
以下字符为保留字:
=#(
括号必须成对出现在左字符串或者右字符串的头部,在括号内为修饰该字符串的关键字。
每一侧可以使用至多一个关键字。
执行流程
1 读取一个输入字符...