例如,在编写无法用图灵完整语言完成的操作系统时是否存在某些问题？
language-agnostic compiler-construction programming-languages language-theory turing-complete
告诉X或Y 是(或不是)编程语言所需的标准或基本功能是什么？
我已经做了一些阅读(是HTML视为一种编程语言？,图灵完备,和其他人),来到一个语言或语法必须结束图灵完整被视为一种编程语言.它是否正确？够了吗？
我如何确定图灵是否完整？有没有具体的标准？
是否具有控制流结构(条件语句和循环)足以被视为图灵完成？
Ansible提供了许多过滤器和条件.据我所知; 应该可以实现一个Ansible playbook,它执行一组任务,实现与图灵完备语言相同的结果.那么,图灵完成了吗？
在每种图灵完备语言中,是否可以创建一个工作
编译器本身首先运行在用其他语言编写的解释器上,然后编译它自己的源代码？(引导)
标准 - Compilant C++编译器输出二进制文件,例如:Windows？
正则表达式解析器和评估器？
魔兽世界克隆？(假设语言获得必要的API绑定,例如,OpenGL和WoW源代码可用)
(理论上的一切)
我们以Brainf*ck为例.
什么是所需的最小原语集,以便语言是图灵完整的和lisp变体？
看起来像汽车,cdr和一些流量控制和REPL的东西就足够了.如果有这样的清单那就好了.
假设只有3种类型的数据,整数,符号和列表.(如在picolisp中)
我正在阅读一篇关于不同评估策略的文章(我在wiki中链接了一篇文章,但我正在阅读另一篇不是英文的文章).·又不像到call-by-name和call-by-need战略,call-by-value战略是不是 图灵完整.
有人可以解释一下,为什么会这样？如果可能,请添加示例.
compiler-construction computer-science programming-languages turing-complete
众所周知,C++模板是图灵完备的,CSS是turing-complete(!),C#重载分辨率是NP-hard(即使没有泛型).
但是C#4.0(具有co/contravariance,泛型等)编译时图灵是否完整？
一些编程问题不需要图灵机的全部功能来解决.它们可以用更少的功率解决.我正在寻找功能较弱的编程语言.
是否存在仅限于支持这些功能的高级编程语言:
具有将值推入堆栈并将值从堆栈中弹出的操作的堆栈.
有限状态机(FSM)用于输入值,从状态移动到状态,与堆栈交互以及输出结果.
我意识到我可以使用Java或C或Python(等)并通过编写仅使用堆栈和FSM的程序来约束语言.但是,我正在寻找一种只具备这些功能的编程语言,而不是更多.
换句话说,我不想使用图灵完整的编程语言来解决只需要确定性下推自动机功能的问题.我想使用只具有确定性下推自动机功能的编程语言.
stack deterministic state-machine turing-complete pushdown-automaton