問題タブ [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.
sed - そのsedができないawkは何ができますか?
awkでは実行できないバッチptovesにsedを使用しました。awkはそれをやったでしょうか?それとも、それは選択の問題であり、awkとsedの使用法に相当するものを呼び出します。どちらも、i/oと同様の一般的な検索置換を行います。一方ではできないこと、もう一方ではできないことの良い例はありますか?
turing-complete - 配列をサポートせずに言語をチューリング完全にすることはできますか?
言語に制御構造と変数があるが、配列、リスト、メモリ アクセスと割り当てなどをサポートしていない場合、その言語はチューリング完全でありえますか?
作成できる変数の量に制限がない場合はarray_1
、 、array_2
、 ...などの変数を作成して配列をシミュレートarray_6000
し、それらを手動でループして、何らかの方法で複雑なデータ構造と再帰を作成できますか?
編集:名前操作で変数にアクセスできない場合でも(array_10+i
許可されていません)?
java - チューリングマシンをシミュレートするにはどうすればよいですか?
チューリングマシンの全体像がよくわかりません。
私は現在、忙しいビーバーチューリングマシンの製造を任されています。しかし、私が実際に得ていないのは、入力をシミュレートすることです。では、どのような入力をシミュレートしますか?たとえば、3つの状態のビジービーバーマシンがテープに書き込む1の数を尋ねられますか?チューリングマシンを書く必要があると思いますが、それを手に入れたらどうしますか?
どの文字列でシミュレートする必要がありますか?
turing-complete - タプル関係計算
安全なタプル関係計算はチューリング完全言語ですか?
css - CSSチューリングは完了していますか?
私の知る限り、CSSはチューリング完全ではありません。しかし、CSSに関する私の知識は非常に限られています。
- CSSチューリングは完了していますか?
- 現在チューリング完全性を実現できない可能性のある言語機能を検討している既存のドラフトまたは委員会はありますか?
language-design - すべてのチューリング完全言語でクワインを作成することは可能ですか?
私の言語がチューリング完全である場合、それ自体を出力するプログラムを作成することが100%可能かどうかを知りたかっただけです(もちろん、ファイル読み取り機能は使用しません)
したがって、出力、変数、条件、および goto (はい、goto) など、完全なチューリングを行うために本当に必要なものが言語にある場合 (Brainf*ck コードをそれに変換することで証明します)、試してみることができますか?その中にクワインを書いていますか?
チューリングマシンがあらゆる計算タスクを実行できるというチューリングの法則にクワインが直接適合するかどうかわからないため、これも尋ねています。私は知りたいだけなので、それが不可能かもしれないことを知らずに何年もやろうとはしません.
language-agnostic - この種のプログラムは、すべてのチューリング完全言語に存在できますか?
すべてのチューリング完全言語で、作業を作成することは可能ですか?
最初に他の言語で書かれたインタープリターで実行され、次に独自のソースコードをコンパイルするコンパイラー自体? (ブートストラップ)
バイナリを出力する標準準拠の C++ コンパイラ。
正規表現パーサーと評価者?
World of Warcraft のクローン?(たとえば、言語が必要な API バインディングを取得し、OpenGL と WoW ソース コードが利用可能であると仮定します)
(ここではすべて理論上のものです)
Brainf*ck を言語の例として考えてみましょう。
turing-complete - 私のプログラミング言語のクワインはどのように見えるでしょうか?
チューリング完全なプログラミング言語(すでに証明済み)を作成したので、そのためのクワインを書くことができるはずですよね?
chr
しかし、私が知っているすべてのクワインは、ソースコードを文字列に格納してから、とのようなものを使用してその中の特殊文字を置き換えord
ます。
私の言語には次のものしかありません
- 基本的な算術
- Int型とstring型
- 変数
- ==演算子
- 条件付きgoto
実際の文字列操作が利用できないため、どのようにクインを書くことができるのかわかりません。定数文字列しか出力できません。それでも、100%チューリング完全です。
lisp - 本当に最小限のLisp
言語がチューリング完全でLispバリアントになるために必要なプリミティブの最小セットは何ですか?
車、cdr、フロー制御など、REPL用のもので十分なようです。そのようなリストがあればいいのですが。
データには、整数、記号、リストの3種類しかないと仮定します(picolispのように)
turing-machines - 別のプログラムをチェックするプログラムが存在できない理由
別のプログラムをチェックするプログラムが存在できない理由について、論理的なアランチューリングの説明を見つけようとしています。
計算コースで学んだことを覚えていますが、今は解決策を見つけることができず、職場の誰かに説明する必要があります。
手伝ってくれてありがとう。