turing-complete

2熱

2答えて

人間の言語（例えば英語）はチューリングマシンをシミュレートするのに十分強力であると確信しています。しかし、それは自然言語がプログラミング言語よりも表現力に優れていることを意味し、それは疑わしいと思われる。チューリングが完了しましたか？

27熱

6答えて

最近私の息子はLittle Big Planet 2をプレイしていましたが、ゲームエディタではANDゲート、ORゲート、NOTゲートが可能です。もしそうなら、誰もがそれらのプリミティブをより高いレベルの条件付きのようなものに変えることを学ぶためのソースを推薦することができますか？

2熱

1答えて

1bitのメモリセルを使って脳死？

プログラミング言語Brainfuckの実装は、メモリセルが通常の8ビットではなく1ビットの容量であれば、まだ完成していますか？ +と - の命令は同じになりますが、これは問題である必要はありません。たとえば、4ビットのメモリセルでは問題はありませんが、これが単一ビット値にまで拡張されていればうまくいかないことがあります。

1熱

3答えて

行を選択せずに列を選択しないでください。

ゼロの行とゼロの列を持つデータセットを返すSELECT文を記述することはできますか？

24熱

1答えて

Scalaの型システムのうち、チューリングが完了したのはどのプロパティですか？

Scalaは、システムFωに基づくタイプシステムを使用します。これは、通常、強く正規化されていると言われています。強く正規化することは、非チューリングの完全性を意味します。それにもかかわらず、ScalaのタイプシステムはTuring-completeです。正式なアルゴリズムやシステムと比較してScalaの型システムTuring-completeが変更/追加/変更されましたか？

21熱

1答えて

チューリング完全型システムの理由

ScalaとHaskellには「チューリング完全型システム」があります。通常、チューリングの完全性はcomputations and languagesを指します。タイプの文脈ではどういう意味ですか？プログラマがどのように恩恵を受けるかの例を挙げてください。 PSハスケル対スカラの型システムを比較したくありません。それは一般的にこの用語の詳細です。 PSS可能であれば、より多くのScalaの例が

1熱

1答えて

Brainf ** kプログラムでメモリ配列が範囲外にアクセスされているかどうかを調べることはできますか？

私はBFインタプリタをアセンブリで作成しましたが、今はアセンブリコードにコンパイルするJavaでBFコンパイラを作成しています。メモリセルの配列が範囲外だったかどうかを検出するちょっとした機能を実装したかったのです。アレイの従来の制限は、インデックスを[0, 30000)にすることです。それ以外の場合は、[0, inf)もよく使用されます。もう1つの選択肢は、メモリがラップされるということです。

1熱

2答えて

シンプルループとネストループ

チューリングの完全性の点でネストループほどシンプルなループは強力ですか？

5熱

2答えて

C++プリプロセッサはメタプログラミングTuring-completeですか？

私はC++テンプレートのメタプログラミングがTuring-completeであることを知っています。プリプロセッサのメタプログラミングにも同じことがありますか？