Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

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

2024-07-16

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

(github.com)
43
未分类 图灵完备 Ar