"见[链接] 定义为直觉上可以描述所有可计算算法? 定义为与 lambda calculus 或图灵机等价?"

图灵完备适合如何定义?

https://gitlab.com/the-language/the-language

定义为直觉上可以描述所有可计算算法?
定义为与 lambda calculus 或图灵机等价?

回帖   
请输入回帖内容...