项改写系统与抽象既约系统

摘要

项改写系统在许多领域中都有重要的作用,例如抽象类型说明、函数程序语言实现、自动推演等.该文介绍了项改写系统的基本概念和事实,特别地,讨论了抽象既约系统.该文尽可能详细地陈述一些基本的定义、性质、定理和推论等等.最后,我们还讨论了抽象既约系统的应用.

目录

摘要

§1引言

§2基本概念

§3基本性质

§4基本定理

4.1广义交换与合流

4.2需求与合流

4.3相容加细与合流

§5 ARS与偏序集

§6应用

§7小结

参考文献

致谢