# 项重写系统

> 项：符号表达式。

- ID: m12794
- 分类: system
- 领域: 系统论

## 定义

项：符号表达式。重写规则：将一种模式替换为另一种。归约：通过反复应用规则简化表达式。脚手架作用：符号计算的基础。为符号操作和程序变换提供形式化框架。

## 机制

以一组重写规则（模式→替换）对符号项反复归约，直到无可应用规则（范式）；系统的性质（终止性、合流性）决定归约是否唯一收敛。

## 练习

定义项（符号表达式）与匹配规则；自顶向下或按需应用规则做归约；检查是否终止且不依赖顺序（合流）；用于代数化简、程序变换或定理证明。

## 脚手架用法

符号计算的基础。为符号操作和程序变换提供形式化框架。

[阅读网页](https://thinkingmodels.site/entries/detail/m12794)