Ar: 一种图灵完备的编程语言

Ar 是一种受限算术和 Z3 启发的图灵完备编程语言，它仅使用 inc、sub、mul 和 div 四个基本函数进行编程，不依赖循环或递归。Ar 使用整数代替 inc，实际上只需要三个函数。文章提供了使用 Ar 函数定义的示例，并探讨了其图灵完备性和通用函数的可能性。