有什么配置语言是图灵完备的吗？

[vevlins]

重点是配置语言，类似于 json 、yaml 这种类型。

[aliipay]

lua [:doge]

[murmur]

gradle 算么

[runze]

jsonnet 、xml(xslt)
或者你可以用图灵完备的语言来当作配置，比如 js 、lua

[DGideas]

The notion of Turing completeness does not apply to languages such as XML, HTML, JSON, YAML and S-expressions, because they are typically used to represent structured data, not describe computation. These are sometimes referred to as markup languages, or more properly as "container languages" or "data description languages".

[DGideas]

不过可以考虑一下 Makefile

[wangyzj]

图灵完备
新知识

[gkiwi]

求个图灵完备的一句话清晰解释，总感觉印象模糊。

[cmdOptionKana]

我猜你想要的不是配置语言，而是插件语言，比如用于 vim 的 vimscript, 用于 emacs 的 elisp 等。

[cmdOptionKana]

一般有这种需求的，lua 是一个很好的选择，因为它容易内嵌，体积小。

[Cbdy]

groogy

[hahaayaoyaoyao]

@gkiwi 我的理解是自我无性生殖

[fanhed]

我觉得楼主的需求还是用一个预处理来解决吧, 预处理生成配置文件, 然后再被读入

[ConradG]

Json 和 Yaml 就是图灵完备的啊，你把每一项看成一个状态，每个子项看成下一个状态不就行了[:doge]

[InkStone]

@gkiwi 不那么精确地讲，能模拟 brainfuck 的语言就是图灵完备的。

[otakustay]

我感觉 CSS 快要图灵完备了呢

[DGideas]

@gkiwi 我们称某编程语言是图灵完备的，旨在表示它能完成等价于通用图灵机的工作，即考虑以下四点：
(a). 具有能够等价于移动图灵机纸带的能力：比如编程语言提供的重复控制流，如 while 、if ... goto 等。
(b). 具有能够等价于读写图灵机纸带内容的能力：拥有变量机制，能够读写（任意的）变量，拥有能够“引用”其他变量的能力（比如引用或指针）。
(c). 具有模仿有限状态机的能力：能够表示有限个状态以及在这些状态之间的转移和动作等行为。
(d). 具有停机状态：程序应当能在有限步骤后结束运行。

本回答参考了 user3067516 在 Software Engineering Stack Exchange 上的回答： https://softwareengineering.stackexchange.com/a/305248/363321

[btnokami]

groovy 。。。

[krjt]

感觉最接近的可能是 Dhall： https://dhall-lang.org/
虽然不是 Turing-complete 但是足够 programmable 。

[ljwrer]

sass

[gaoryrt]

然后应该有人来科普一下哥德尔不完备定理