技术文档

详细的设计、实现和验证说明

设计方案
图灵完备扩展的详细设计

了解如何将 WAO-IR 从 28 条指令扩展到 35 条,实现图灵完备性的设计原理和指令规范。

查看设计文档 →
解释器实现
Python 解释器的核心引擎

查看 WAO-IR 解释器的完整源代码,包括词法分析、语法解析、执行引擎等核心模块。

查看源代码 →
测试套件
图灵完备性验证

8 个经典算法的完整测试套件,验证 WAO-IR 的图灵完备性和计算能力。

查看测试代码 →
项目概述

WAO-IR v0.1 是一个精妙的、可验证的图灵完备编程语言。本项目旨在将 WAO-IR 从一个声明式工作流描述语言扩展为一个通用计算语言,赋予智能体完整的计算能力。

通过最小化地增加 7 条核心计算与控制流指令,我们在保留原有 28 条指令的同时,实现了图灵完备性。这些新增指令包括:

  • SET - 变量赋值
  • ADD/SUB/MUL - 算术运算
  • LT - 比较运算
  • IF/ELSE/END - 条件分支
  • WHILE/DO/END - 循环结构
核心特性

✓ 图灵完备

满足图灵完备的所有必要条件:无限存储、读写能力、条件分支和循环结构。

✓ 可验证

通过 8 个经典算法的实现验证,包括阶乘、斐波那契、最大公约数等。

✓ 向前兼容

保留原有 28 条指令,新增指令无缝集成,确保向前兼容性。

✓ 完全开放

提供完整的源代码、设计文档和测试套件,完全透明。

技术架构
执行流程

执行流程

WAO-IR 代码经过词法分析、语法解析、编译和执行四个阶段,最终输出计算结果。

词法分析

将源代码分解为 Token,识别指令、变量和字面量。

语法解析

根据 WAO-IR 语法规则,构建抽象语法树(AST)。

编译

将 AST 转换为可执行的中间代码或直接解释执行。

执行

在虚拟机中执行指令,管理变量状态和控制流。

图灵完备性证明

WAO-IR v0.1 扩展版满足了图灵完备的所有必要条件:

无限存储

通过 %variable 系统实现,理论上可无限扩展。

读写能力

SET 指令提供写操作,变量引用提供读操作。

条件分支

IF/ELSE/END 结构允许基于运行时数据进行决策。

循环/递归

WHILE/DO/END 结构支持任意次数的迭代。

这四个条件共同保证了 WAO-IR 能够计算任何可计算的函数,从而达到图灵完备。

快速开始

1. 编写代码

在演示环境中编写 WAO-IR 代码,或选择预设示例:

SET %n 5
SET %result 1
WHILE %n > 0 DO
MUL %result %result %n
SUB %n %n 1
END
OUTPUT %result

2. 执行代码

点击"执行代码"按钮,解释器将立即运行您的代码。

3. 查看结果

在右侧面板查看执行输出和变量状态。