javascript

java

python

c#

android

c++

node.js

php

reactjs

jquery

html

css

ios

.net

git

ruby-on-rails

sql

c

string

ruby

Makefile图灵完成了吗?

最近在工作,我一直在进行一些从Makefile到替代构建系统的转换。 我已经在某些地方使用功能映射,过滤器和foreach构造看到了一些毛茸茸的Make代码。 这让我感到惊讶,因为我认为构建脚本应该尽可能声明性。

无论如何,这让我想到:Makefile语言(比如说最新的GNU make特定于图灵)完成了吗?

trans by 2020-07-06T09:55:24Z

计算机科学-评估语言的“转换完整性”的实用准则是什么?

我已经阅读了“ what-is-turing-complete”和wikipedia页面,但是我对正式的证明兴趣不如对Turing Complete的实际意义感兴趣。

我实际上试图确定的是,我刚刚设计的玩具语言是否可以用作通用语言。 我知道我可以证明是否可以用它编写图灵机。 但是在我相当确定成功之前,我不希望进行该练习。

是否有最少的功能集,否则没有图灵完整性是不可能的?是否有实际上可以保证完整性的一组功能?

(我的猜测是条件分支和可读/可写内存存储将带给我大部分帮助)


编辑:

我想我已经说“完成”了。 我试图以合理的信心猜测具有某些功能集的新发明的语言(或者具有特定指令集的VM)将能够计算出任何值得计算的东西。 我知道证明用它构建图灵机是一种方法,但不是唯一的方法。

我所希望的是一组准则,例如:“如果它可以执行X,Y和Z,那么它可能可以执行任何操作”。

trans by 2020-06-30T04:50:55Z

有限自动机-图灵完整性有多大用处? 神经网络学习是否完整?

在阅读一些有关递归神经网络的图灵完备性的论文(例如:使用神经网络的图灵可计算性,Hava T. Siegelmann和Eduardo D. Sontag,1991)时,我感到,那里给出的证明并不是真的 实际的。 例如,参考文献需要一个神经网络,该神经网络的神经元活动必须具有无穷大的准确性(以可靠地表示任何有理数)。 其他证明需要无限大小的神经网络。 显然,这并不实际。

但是我现在开始怀疑,要求图灵完整性是否真的有意义。 按照严格的定义,当今没有图灵系统是完整的计算机系统,因为它们都无法模拟无限大的磁带。

有趣的是,无论编程语言是否完整,编程语言规范最常使它保持打开状态。 这一切都归结为一个问题,即它们是否始终能够分配更多的内存,以及函数调用堆栈的大小是否无限。 大多数规范并没有真正说明这一点。 当然,这里所有可用的实现方式都受到限制,因此编程语言的所有实际实现方式都不是图灵完整的。

因此,您可以说的是,所有计算机系统都具有与有限状态机同等的功能,而没有更多。

这使我想到一个问题:“图灵”一词完全有用吗?

回到神经网络:对于神经网络的任何实际实现(包括我们自己的大脑),它们将无法表示无限数量的状态,即严格的图灵完备性定义并不代表图灵完备。 那么,神经网络图灵完善是否完全有意义?

它们是否像有限状态机一样强大,这个问题早就得到了回答(明斯基,1954年,当然是:是),而且似乎也很容易回答。 即,至少从理论上讲,这已经证明了它们与任何计算机一样强大。


其他一些我真正想知道的问题:

  • 是否有任何理论术语可以更具体地说明计算机的计算能力? (鉴于其有限的存储空间)

  • 您如何比较神经网络与计算机的实际实现的计算能力? (如上所述,车削完整性没有用。)

trans by 2020-02-16T14:06:52Z

正则表达式-Perl正则表达式是否完整?

我已经看到Ruby和Perl程序员完全使用正则表达式来完成一些复杂的代码挑战。 Perl regexes的先行和后备功能使其比大多数其他语言的regex实现更强大。 我想知道它们到底有多强大。

有没有简单的方法来证明或反对Perl正则表达式是否已经完成Turing?

trans by 2020-01-30T23:17:07Z

理论-为什么康威的《人生游戏》可以归类为通用机器?

我最近在阅读有关人造生命的文章,并偶然发现“ Conway的生命游戏演示了足够的复杂性,可以归类为通用机器。” 我对通用机器是什么只有一个粗略的了解,而Wikipedia仅使我像Wikipedia一样了解。 我想知道是否有人可以阐明这个非常性感的说法?

在我看来,Conway的《人生游戏》似乎是一种令人分心的事情,它具有深远的意义:我无法在计算器和计算器之间实现跨越式发展吗? 那是我应该做的飞跃吗?

trans by 2020-01-10T23:06:42Z

语言不可知-Scala的类型系统已完成图灵化。 证明? 例? 有好处吗?

有人声称Scala的类型系统是图灵完整的。 我的问题是:

  1. 有正式的证明吗?

  2. 在Scala类型系统中,简单的计算会如何?

  3. 这对Scala语言有好处吗? 在没有图灵完整类型系统的情况下,这是否会使Scala在某种程度上与语言相比具有“强大”的作用?

我想这通常适用于语言和类型系统。

trans by 2019-12-30T20:27:41Z

理论-C99预处理器Turing是否已完成?

在发现Boost预处理器的功能之后,我发现自己想知道:C99预处理器Turing是否完整?

如果没有,那么缺少资格的原因是什么?

trans by 2019-10-04T03:08:38Z

我听说LaTeX已经完成。 是否有用LaTeX编写的程序?

使用通常被认为是排版语言的东西,可以做一些有趣的事情。 例如,您可以使用后记构造Mandelbrot集。

在此MathOverflow问题中建议LaTeX可能是图灵完备的。 这意味着可以编写任意程序(尽管可能并不容易!)。 有人知道LaTeX中这种程序的任何具体示例吗,这在语言上有什么异常之处?

trans by 2019-09-26T22:43:07Z

C ++模板Turing-complete?

我告诉C ++中的模板系统在编译时是图灵完备的。 这篇文章以及维基百科都提到了这一点。

你能提供一个利用这个属性的计算的重要例子吗?

这个事实在实践中有用吗?

trans by 2019-07-24T22:59:45Z

我听说LaTeX是Turing完整的。 有没有用LaTeX编写的程序?

用通常被认为是排版语言的东西做一些有趣的事情是可能的。 例如,您可以使用postscript构造Mandelbrot集。

在此MathOverflow问题中建议LaTeX可能是图灵完备的。 这意味着能够编写任意程序(虽然这可能并不容易!)。 有没有人知道LaTeX中这样一个程序的任何具体例子,它使用该语言做了一些非常不寻常的事情?

trans by 2019-06-18T11:12:17Z

CSS图灵完成了吗?

据我所知,CSS不是图灵完整的。 但我对CSS的了解非常有限。

  • CSS图灵完成了吗?
  • 现有的草案或委员会是否考虑过可能使图灵完整的语言特征,如果现在不是这样的话?
trans by 2019-02-10T21:29:48Z

理论 - 什么是图灵完成?

“图灵完成”的含义是什么意思?

你可以给出一个简单的解释,而不会涉及太多的理论细节吗?

trans by 2019-01-06T04:33:43Z

1 共1页