Tag: 图灵完成

像Coq这样的非定制完整语言的实际限制是什么？

由于在那里有非图灵语言完整的语言，并且考虑到我在大学没有学习科学技术，有人可以解释一个图灵不完全语言（如Coq ）不能做的事情吗？ 还是说实际上没有实际利益的完整性/不完整性（即在实践中没有太大的区别）？ 编辑 – 我正在寻找一个答案， 你不能build立一个非图灵完整的语言由于X ，或类似的哈希表 ！

Scala中的types系统是图灵完整的。 certificate？ 例？ 好处？

有声称斯卡拉的types系统是图灵完整。 我的问题是： 有没有正式的证据呢？ Scalatypes系统中的简单计算如何？ 这对Scala有什么好处 – 语言？ 这是否使得Scala在某种程度上比没有图灵完整types系统的语言更“强大”？ 我想这一般适用于语言和types系统。

C99预处理器图灵是否完整？

在发现Boost预处理器的function后，我发现自己在想：C99预处理器Turing是否完成？ 如果不是，那么缺less什么资格？

我听说LaTeX是图灵完整的。 有没有用LaTeX写的程序？

用通常被认为是排版语言的东西来做有趣的事情是可能的。 例如，您可以使用postscript构buildMandelbrot集。 在这个MathOverflow问题中build议LaTeX可能是图灵完备的 。 这意味着编写任意程序的能力（尽pipe这可能不容易！）。 有没有人知道在LaTeX中有这样一个程序的具体例子，它在语言上做了一些非常不寻常的事情？

CSS图灵完成？

就我所知，CSS并不是Turing完成的。 但是我对CSS的知识是非常有限的。 CSS图灵完成？ 现在的草案或委员会是否考虑了可能使图灵完整性的语言特征，如果它不是现在呢？

C ++模板图灵完成？

我被告知C ++中的模板系统在编译时是Turing-complete的。 这在这篇文章中也提到了维基百科 。 你能提供一个利用这个属性的计算的一个不平凡的例子吗？ 这在事实上是有用的吗？