TuringForge

图灵机：用 DSL 定义纸带/状态/转移，单步或连续推演，可视化磁带与读写头。 · 单文件 · 零依赖 · 本地优先

图灵机定义（tape / start / accept / reject / 转移 q,s -> q',w,D） tape: 1011 start: q0 accept: qa reject: qr q0,1 -> q0,1,R q0,0 -> q0,0,R q0,_ -> q1,_,L q1,0 -> qa,1,L q1,1 -> q1,0,L q1,_ -> qa,1,L 最大步数 结果 磁带