Fugu-MT 論文翻訳(概要): Prof. Sch\"onhage's Mysterious Machines

論文の概要: Prof. Sch\"onhage's Mysterious Machines

arxiv url: http://arxiv.org/abs/2108.08606v1
Date: Thu, 19 Aug 2021 10:32:21 GMT
ステータス: 処理完了
システム内更新日: 2021-08-20 22:36:53.949378
Title: Prof. Sch\"onhage's Mysterious Machines
Title（参考訳）: sch\"onhage教授の謎の機械
Authors: J.-M. Chauvet
Abstract要約: ルール110セルオートマトンのうちの1つをシミュレートする単純なSch"onhage Storage Modification Machineを提供する。これは、シュンハーゲの固有機械のチューリング完全性の証明の代替的な構成を提供する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We give a simple Sch\"onhage Storage Modification Machine that simulates one iteration of the Rule 110 cellular automaton. This provides an alternative construction to Sch\"onhage's original proof of the Turing completeness of the eponymous machines.
Abstract（参考訳）: ルール110セルオートマトンの一イテレーションをシミュレートする単純なSch\"onhage Storage Modification Machineを提供する。これは、Sch\"onhageによるエポニマスマシンのチューリング完全性の証明の代替的な構成を提供する。

関連論文リスト

Self-Replicating Mechanical Universal Turing Machine [0.0]
本稿では、バイオインスパイアされたメカニズムを用いた自己複製有限状態機械(FSM)と自己複製チューリングマシン(TM)の実装について述べる。
論文参考訳（メタデータ） (2024-09-27T08:28:37Z)
Simulated Autopoiesis in Liquid Automata [0.0]
液体オートマタ(Liquid Automata)は、粒子が他の粒子と衝突する際にどのように変換されるかという追加の規則を持つ粒子シミュレーションである。セルオートマトンとは異なり、固定格子や時間ステップはなく、粒子のみが連続的な空間/時間で互いに動き、衝突する。
論文参考訳（メタデータ） (2024-01-15T21:23:23Z)
Towards a Self-Replicating Turing Machine [0.0]
我々はフォン・ノイマンの普遍コンストラクタと普遍コーパの部分実装を提供する。同じ原理を用いてチューリングマシンも構築する。我々の構成は、望めば突然変異を許容し、簡単な記述言語を提供します。
論文参考訳（メタデータ） (2023-06-29T11:50:58Z)
Token Turing Machines [53.22971546637947]
Token Turing Machines (TTM) はシーケンシャルな自己回帰型トランスフォーマーモデルである。我々のモデルは、セミナルなニューラルチューリングマシンにインスパイアされ、以前の履歴を要約するトークンの集合からなる外部メモリを持つ。
論文参考訳（メタデータ） (2022-11-16T18:59:18Z)
What Images are More Memorable to Machines? [87.14558566342322]
人間と同様、機械は特定の種類の画像を記憶する傾向があるが、機械と人間の画像の種類は異なる。本研究は,機械記憶可能性の概念を提案し,マシンメモリと視覚データとのインタフェースに新たな研究方向を開く。
論文参考訳（メタデータ） (2022-11-14T18:48:08Z)
On the Intersection of Context-Free and Regular Languages [71.61206349427509]
我々はBar-Hillel構造を一般化し、$varepsilon$-arcsで有限状態オートマトンを扱う。我々の構成が入力オートマトンと文法の両方の構造を符号化し、元の構成のサイズを維持した文法につながることを証明している。
論文参考訳（メタデータ） (2022-09-14T17:49:06Z)
The Meta-Turing Test [17.68987003293372]
本研究では,人間と機械の非対称性を除去するチューリング試験の代替案を提案する。この新しいテストでは、人間と機械の両方がお互いを判断する。
論文参考訳（メタデータ） (2022-05-11T04:54:14Z)
Compiling Turing Machines into Storage Modification Machines [0.0]
Sch"onhage's Storage Modification Machines (SMM) がチューリングマシン (TM) をシミュレートできることはよく知られている。本稿では,TMからSMMへの単純な変換を提案し,単純なTM-to-SMMコンパイラの基盤を設定する。
論文参考訳（メタデータ） (2021-09-28T10:38:05Z)
Generative Language Modeling for Automated Theorem Proving [94.01137612934842]
この研究は、自動定理プロバーの人間に対する大きな制限が言語モデルから生成することで対処できる可能性によって動機づけられている。本稿ではメタマス形式化言語のための自動証明と証明アシスタント GPT-f を提案し,その性能を解析する。
論文参考訳（メタデータ） (2020-09-07T19:50:10Z)
Populations of Spiking Neurons for Reservoir Computing: Closed Loop Control of a Compliant Quadruped [64.64924554743982]
本稿では,ニューラルネットワークを用いた中央パターン生成機構を実装し,閉ループロボット制御を実現するためのフレームワークを提案する。本研究では,従順な四足歩行ロボットのシミュレーションモデル上で,予め定義された歩行パターン,速度制御,歩行遷移の学習を実演する。
論文参考訳（メタデータ） (2020-04-09T14:32:49Z)
Reservoir memory machines [79.79659145328856]
本稿では,ニューラルチューリングマシンのベンチマークテストのいくつかを解くことができる貯水池メモリマシンを提案する。我々のモデルは、外部メモリによるエコー状態ネットワークの拡張と見なすことができ、干渉することなく任意の長さの記憶が可能となる。
論文参考訳（メタデータ） (2020-02-12T01:45:00Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。