Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
線形拘束オートマトン(せんけいこうそくオートマトン、Linear Bounded Automaton)は、制限されたチューリングマシンである。LBA と略記される。有限種類の文字を保持できるテープとそのテープの読み書きができるヘッドを持ち、有限数の状態を持つ。チューリングマシンと異なるのは LBA
という論文を発表し、非決定性有限オートマトンのアイデアを明らかにした。これが計算複雑性理論の基礎概念となったことから、ラビンと共にチューリング賞を受賞した。 彼の業績はオートマトン理論、公理的集合論、プログラミング言語の意味論、言語哲学等、多岐にわたっており、1959年にマイケル・ラビンと共同で発表したオートマトン理論に関する研究
をとる外部総和型のセル・オートマトンの例である。同じく外部総和型でムーア近傍だが、規則をライフゲームとは変えたセル・オートマトンを欧米では "life-like" と呼ぶ。 CAの概念は様々な拡張が可能である。 例えば、矩形の格子ではなく別の多角形を使うという拡張がある。例えば六角形
プッシュダウン・オートマトン(Pushdown Automaton)は、オートマトンの一種であり、文脈自由言語を認識する抽象機械である。 ある意味では、プッシュダウン・オートマトンは有限オートマトンと無限の容量のスタックを組み合せたシステムである。 プッシュダウンオートマトンは通常の有限オートマトンとは以下の二点で異なる。
このタイプの有限オートマトンは入力を受容(accept)したり、理解(recognize)して、外界に結果を知らせるために状態(state)を使用する。つまり、最終的に受容状態になったかどうかで「はい」または「いいえ」のいずれかを出力として返す。FSMの全状態は受容状態かそうでないかのいずれかである。全入力
Malbolgeプログラムを書くことができるとし、例として入力された文字を出力するプログラムを示した。 OlmsteadはMalbolgeが線形拘束オートマトンであると考えていた。無限ループが初めて発表されるまでに何年も要しており、Malbolgeにおける実用的なループのインプリメント可能性に関し、さらに興味深い議論がある。[要出典]
リーズのIATA都市コード リーズ空港 (Leeds Bradford International Airport) のIATA空港コード 線形拘束オートマトン (linear bounded automaton) 長枝誘引 (long branch attraction) 後期青銅器時代 (Late
例えば、3つのグライダーが一箇所に集まり、互いに衝突し消滅する、「スターゲート」という配置がある。軽量級宇宙船がこの3つの衝突するグライダーにぶつかると、進行方向にわずか六世代で11セルも移動するように見える。この錯覚は、グライダーの消滅過程において、新しい軽量級宇宙船の生成とその直後の破壊がある