turing-complete

5热度

1回答

Ansible提供了许多过滤器和条件。据我所知，应该可以实现一个Ansible操作手册，该手册执行一组与Turing Complete语言达到相同结果的任务。那么，图灵完成了吗？

1热度

1回答

是否可以在HTML + CSS中编写编译器？我知道他们（在一起）应该是图灵完整的，至少是HTML5/CSS3组合。所以应该有可能为它编写一个编译器，比如Java呢？或者，我是否对图灵完备性意味着某种根本的误解？由于HTML + CSS本身不是编译语言，这是否意味着编写一个编译器是不可能的？（你还可以为HTML/CSS编写一个编译器吗？）

24热度

1回答

斯卡拉的类型系统的哪个属性使它完成图灵？

斯卡拉使用基于系统Fω的类型系统，通常认为它是强烈正常化的。强烈正常化意味着非图灵完备性。尽管如此，Scala的类型系统是图灵完备的。与正式算法和系统相比，哪些更改/添加/修改会使Scala的类型系统Turing-complete？

3热度

2回答

VHDL图灵是否完整？

VHDL图灵是否完整？我的理解是，VHDL创建一个注册机器，并且注册机器 - 没有任意RAM - 不是图灵完整的。这是准确的吗？对于注册机器无法解决的问题，是否有标准方法 - 例如在VHDL之外使用RAM，并通过VHDL进行管理？

5热度

2回答

图灵完整的字母数字x86指令集（子集）

我期待创建一个最小的，计算上通用的字母数字x86操作子集。最终，我希望子集包含尽可能少的指令，如果有多个最小子集，我也想知道。子集应该能够模拟任何可以用整套字母数字指令写入的程序。说明应仅涵盖与“A-Z”，“a-z”和“0-9”字符对应的说明。到目前为止，我认为一个push，pop，inc，dec，cmp和je就足够了，但我敢肯定有一个较小的一套。我怎么能证明我生成的一个集合能够使用所有的字母数

0热度

1回答

Wolfram语言是一种真正的编程语言吗？

Wolfram即将发布其“基于知识的编程语言”，但它是否像C＃，Java等一样是真正的编程语言？为了避免这种过于主观的，我会澄清，“真正的编程语言，”我的意思是：是图灵完整？

5热度

2回答

C++预处理器元编程图灵完成？

我知道C++模板元编程是图灵完备的。预处理器元编程有同样的功能吗？

12热度

2回答

我的程序是否完成图灵？

我花了一个星期或两个编程一个简单的逻辑解算器。建立它之后，我发现自己想知道它解决的语言是否是图灵完备的。因此，我编写了一小组方程式，它们接受SKI组合函数演算中的任何有效表达式，并生成一个包含该表达式的常规形式的结果集。由于SKI 是图灵完成，证明我的语言可以执行SKI将展示其图灵完备性。但是有一个小故障。解算器不会按正常顺序减少表达式。其实它所做的就是尝试每一个可能的减少订单。这意味着解决方案

8热度

2回答

lambda演算的图灵完备性？

你怎么认为lambda微积分是图灵完成的事实（以最简单的方式）？

1热度

1回答

史上最小的编译器

昨天，我用这篇关于编程语言BrainFuck的文章停留在互联网上。 http://www.muppetlabs.com/~breadbox/bf/ 那么，什么是不知道我是这样的 Brainfuck is the ungodly creation of Urban Müller, whose goal was apparently to create a Turing-complete langu