📌 📄 内容摘要:
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 读取一个输入字符...
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/419693/1
─────────────────────────────
📢 来源：LINUX DO | 标签：#尝试找到字符串中最靠左的一个
