turing-complete

相关标签：javascript jquery android 多少钱 iPhone

Are makefiles Turing complete?

Lately at work, I\'ve been doing some translation from Makefiles to an alternative build system. I\'ve seen some pretty hairy Make code in some places using functional map, filter, and fore开发者_如何[详细]

2023-01-11 18:24 分类：问答
What are the practical limitations of a non-turing complete language like Coq?

As there are non-Turing complete languages out there, and given I didn\'t study Comp Sci at university, could someone explain something that a Turing-incomplete language (like Coq) cannot do?[详细]

2023-01-11 13:20 分类：问答
Unrolling procedural code into SQL

The act of transforming procedural code into SQL has been of interest to me lately. I know that not absolutely everything is expressable in a turing complete procedural language.[详细]

2023-01-10 00:39 分类：问答
I've heard that LaTeX is Turing complete. Are there any programs written in LaTeX?

It\'s possible to do interesting things with what would ordinarily be thought of as typesetting languages. For example, you can construct the Mandelbrot set using postscript.[详细]

2023-01-02 09:08 分类：问答
Why call-by-value evaluation strategy is not Turing complete?

I\'m reading an article about different evaluation strategies (I linked article in wiki, but I\'m reading another one not in English). And it says that unlike to call-by-name and call-by-need strategi[详细]

2023-01-01 22:17 分类：问答
How to work with this turing machine?

This is a screenshot of the applet LogiCell 1.0, link to which I found here. As the bottom left corner shows, this is doing sum 0+1 an开发者_如何学运维d the result is 01b (bottom right hand side).[详细]

2023-01-01 12:06 分类：问答
What makes people think that NNs have more computational power than existing models?

I\'ve read in Wikipedia that neural-network functions defined on a field of arbitrary real/rational numbers (along with algorithmic schemas, and the speculative `transrecursive\' models) have more com[详细]

2022-12-30 00:13 分类：问答
why there can't be a program that checks another program

I am trying to find the logical alan turing explanation why there can开发者_如何学Go\'t be a program that checks another programs.[详细]

2022-12-28 18:12 分类：问答
How could a quine in my programming language look?

I have created a turing-complete programming language (already proven) so it must be possible to write a quine for it, right?[详细]

2022-12-26 04:38 分类：问答
Is it possible to create a quine in every turing-complete language?

I just wanted to know if it is 100% possible, if my language is turing-complete, to write a program in it that prints itself out (of course not using a file reading function)[详细]

2022-12-25 17:47 分类：问答