問題タブ [turing-complete]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
html - HTMLチューリングは完全ですか?
この質問を読んだ後Is CSS Turing complete? -- いくつかの思慮深く簡潔な回答を受け取りました -- それは私を疑問に思いました: HTML チューリングは完全ですか?
簡単な答えは決定的なはいまたはいいえですが、短い説明または反例を提供して、HTML がチューリング完全であるかどうかを証明してください(明らかに、両方であることはできません)。HTML の他のバージョンに関する情報は興味深いかもしれませんが、正解はHTML5についてこれに答える必要があります。
scala - チューリング完全型システムの理由は何ですか
Scala と Haskell には「チューリング完全型システム」があります。通常、チューリングの完全性は計算と言語を指します。型のコンテキストでは、それは実際には何を意味するのでしょうか?
プログラマーがそれからどのように利益を得ることができるかの例を挙げてもらえますか?
PS Haskell の型システムと Scala の型システムを比較したくありません。それは一般的な用語についてです。
PSS 可能であれば、より多くの Scala の例を提供してください。
gremlin - 完全なグラフ クエリ言語のチューリング
既存のグラフ クエリ言語 (Cypher、Datalog、Sparql など) のうち、チューリングが完了しているのは Gremlin だけであると言うのは正確ですか?
重要な場合に備えて、私はマジック: ザ ギャザリングのチューリング完全性証明のようなエッジ ケースを探していません。私の質問の意図は、Gremlin が実際にグラフで任意の計算を実行するのに適した唯一のグラフ クエリ言語であるかどうかということです。
grammar - 無制限の文法: { sss | s は {a,b}* に存在します }
sss の無制限の文法を構築する方法は何でしょうか? ss を構築するには、ss^r を構築してから 2 番目の文字列を逆順にする必要があることはわかっていますが、sss ではどのようにすればよいでしょうか?
mysql - 行も列も選択しない?
ゼロ行とゼロ列のデータセットを返す SELECT ステートメントを作成することはできますか?
nlp - 自然言語チューリングは完全か?
私は、人間の言語 (英語など) がチューリング マシンをシミュレートするのに十分強力であると確信しています。しかし、それは自然言語がプログラミング言語よりも多かれ少なかれ表現力があることを意味し、疑わしいようです.
自然言語チューリングは完全か?