論文の概要: Achieving Operational Universality through a Turing Complete Chemputer
- arxiv url: http://arxiv.org/abs/2502.02872v1
- Date: Wed, 05 Feb 2025 04:06:32 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-02-06 14:27:44.250675
- Title: Achieving Operational Universality through a Turing Complete Chemputer
- Title(参考訳): チューリング完全ケムプタによる操作普遍性の実現
- Authors: Daniel Gahler, Dean Thomas, Slawomir Lach, Leroy Cronin,
- Abstract要約: 化学のためのロボットプラットフォームに適用されたチューリング完全性の概念を利用する。
我々は,コンピュータによる計算可能性の概念を,自動合成機械による化学化合物の合成可能性に活用する。
- 参考スコア(独自算出の注目度): 0.0
- License:
- Abstract: The most fundamental abstraction underlying all modern computers is the Turing Machine, that is if any modern computer can simulate a Turing Machine, an equivalence which is called Turing completeness, it is theoretically possible to achieve any task that can be algorithmically described by executing a series of discrete unit operations. In chemistry, the ability to program chemical processes is demanding because it is hard to ensure that the process can be understood at a high level of abstraction, and then reduced to practice. Herein we exploit the concept of Turing completeness applied to robotic platforms for chemistry that can be used to synthesise complex molecules through unit operations that execute chemical processes using a chemically-aware programming language, XDL. We leverage the concept of computability by computers to synthesizability of chemical compounds by automated synthesis machines. The results of an interactive demonstration of Turing completeness using the colour gamut and conditional logic are presented and examples of chemical use-cases are discussed. Over 16.7 million combinations of Red, Green, Blue (RGB) colour space were binned into 5 discrete values and measured over 10 regions of interest (ROIs), affording 78 million possible states per step and served as a proxy for conceptual, chemical space exploration. This formal description establishes a formal framework in future chemical programming languages to ensure complex logic operations are expressed and executed correctly, with the possibility of error correction, in the automated and autonomous pursuit of increasingly complex molecules.
- Abstract(参考訳): 現代のコンピュータがチューリングマシン(チューリング完全性と呼ばれる同値性を持つチューリングマシン)をシミュレートできる場合、理論上は一連の離散単位演算を実行することでアルゴリズム的に記述できるタスクを達成できる。
化学において、化学プロセスのプログラム能力は、そのプロセスが高レベルの抽象化で理解され、実践に還元されることを保証することが難しいため要求されている。
ここでは, 化学認識型プログラミング言語XDLを用いて化学プロセスを実行するユニット操作により, 複雑な分子を合成するためのロボットプラットフォームに適用したチューリング完全性の概念を利用する。
我々は,コンピュータによる計算可能性の概念を,自動合成機械による化学化合物の合成可能性に活用する。
カラーガミュートと条件論理を用いたチューリング完全性のインタラクティブな実演の結果を述べるとともに, 化学利用事例の例を考察した。
1670万以上の赤、緑、青(RGB)色空間が5つの別々の値に結合され、10つの利子領域(ROI)で測定され、1ステップあたり78万の可能な状態が得られ、概念的、化学的な宇宙探査のプロキシとして機能した。
この形式的な記述は、ますます複雑な分子の自動的かつ自律的な追従において、複雑な論理演算が正しく表現され、実行されることを保証するために、将来の化学プログラミング言語において形式的な枠組みを確立している。
関連論文リスト
- On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
CoT推論による現代言語モデル(LM)の性能向上
LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
論文 参考訳(メタデータ) (2024-06-20T10:59:02Z) - Autonomous Quantum Processing Unit: What does it take to construct a
self-contained model for quantum computation? [0.27309692684728604]
量子チューリングマシンの定式化は、この入力出力機能を量子領域に持ち上げる。
我々は、自律量子処理ユニット(aQPU)をダブするフレームワークを開発する。
オープン量子系の理論を用いて、aQPUを定式化して、所望の量子計算の熱力学、複雑性、速度、忠実さの関係を研究できる。
論文 参考訳(メタデータ) (2024-01-31T19:00:02Z) - Chemist-X: Large Language Model-empowered Agent for Reaction Condition Recommendation in Chemical Synthesis [57.70772230913099]
Chemist-Xは、検索増強生成(RAG)技術を用いた化学合成において、反応条件レコメンデーション(RCR)タスクを自動化する。
Chemist-Xはオンラインの分子データベースを尋問し、最新の文献データベースから重要なデータを蒸留する。
Chemist-Xは化学者の作業量を大幅に減らし、より根本的で創造的な問題に集中できるようにする。
論文 参考訳(メタデータ) (2023-11-16T01:21:33Z) - On the Representational Capacity of Recurrent Neural Language Models [56.19166912044362]
計算時間を持つ有理重み付きRLMは、有理重み付き遷移を持つ決定論的確率的チューリングマシン(PTM)をシミュレートできることを示す。
また, 実時間計算の制約下では, 決定論的実時間有理PTMをシミュレートできることを示した。
論文 参考訳(メタデータ) (2023-10-19T17:39:47Z) - The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。
完全に自動化された量子ソフトウェアスタックを開発する必要がある。
この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
論文 参考訳(メタデータ) (2023-01-10T19:00:00Z) - A Relative Church-Turing-Deutsch Thesis from Special Relativity and
Undecidability [0.0]
本研究では,グローバルシミュレータが蓄積した時間,空間,誤差の計算がシミュレーション特性であることを示す。
これらのシミュレーション特性は、チャーチ・チューリング・ドイツ理論の構築に使用する相対モデルに特別な相対論的効果をもたらす。
論文 参考訳(メタデータ) (2022-06-13T18:58:41Z) - Detailed Balanced Chemical Reaction Networks as Generalized Boltzmann
Machines [0.0]
本稿では,生物化学計算機が内在性化学ノイズを用いて複雑な計算を行う方法を示す。
また、我々の明示的な物理モデルを用いて、推論の熱力学的コストを導出する。
論文 参考訳(メタデータ) (2022-05-12T18:59:43Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。
本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。
アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文 参考訳(メタデータ) (2021-10-04T12:20:23Z) - Computational Hierarchy of Elementary Cellular Automata [0.0]
セルラーオートマトンとセルラーオートマトンをエミュレートする能力について検討した。
非自明なオートマトンをエミュレートできないのは,ある種のカオスオートマトンのみであることを示す。
我々の研究は、チューリング完全かつ計算効率のよい並列計算システムの設計に役立つと信じている。
論文 参考訳(メタデータ) (2021-08-01T10:00:54Z) - Statistically Meaningful Approximation: a Case Study on Approximating
Turing Machines with Transformers [50.85524803885483]
本研究は,統計的学習性を示すために近似ネットワークを必要とする統計有意(SM)近似の形式的定義を提案する。
回路とチューリングマシンの2つの機能クラスに対するSM近似について検討する。
論文 参考訳(メタデータ) (2021-07-28T04:28:55Z) - A Quantum Finite Automata Approach to Modeling the Chemical Reactions [0.0]
量子計算モデルを用いた化学情報処理の研究は自然な目標である。
線形時間で停止する2方向量子有限オートマトンを用いた化学反応をモデル化した。
化学アクセプション/リジェクトシグネチャと量子オートマトンモデルを組み合わせることで、計算の汎用性を向上できることが証明されている。
論文 参考訳(メタデータ) (2020-07-08T09:15:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。