Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
〖automaton〗
〖cell〗
〔セルジの略。 セルジを「セル地」と解して「地」を略したもの〕
例えば、3つのグライダーが一箇所に集まり、互いに衝突し消滅する、「スターゲート」という配置がある。軽量級宇宙船がこの3つの衝突するグライダーにぶつかると、進行方向にわずか六世代で11セルも移動するように見える。この錯覚は、グライダーの消滅過程において、新しい軽量級宇宙船の生成とその直後の破壊がある
線形拘束オートマトン(せんけいこうそくオートマトン、Linear Bounded Automaton)は、制限されたチューリングマシンである。LBA と略記される。有限種類の文字を保持できるテープとそのテープの読み書きができるヘッドを持ち、有限数の状態を持つ。チューリングマシンと異なるのは LBA
という論文を発表し、非決定性有限オートマトンのアイデアを明らかにした。これが計算複雑性理論の基礎概念となったことから、ラビンと共にチューリング賞を受賞した。 彼の業績はオートマトン理論、公理的集合論、プログラミング言語の意味論、言語哲学等、多岐にわたっており、1959年にマイケル・ラビンと共同で発表したオートマトン理論に関する研究
プッシュダウン・オートマトン(Pushdown Automaton)は、オートマトンの一種であり、文脈自由言語を認識する抽象機械である。 ある意味では、プッシュダウン・オートマトンは有限オートマトンと無限の容量のスタックを組み合せたシステムである。 プッシュダウンオートマトンは通常の有限オートマトンとは以下の二点で異なる。
ブリュッセル南駅(仏:Gare de Bruxelles-Midi, 蘭:Station Brussel-Zuid)は、ベルギーの首都ブリュッセルの主要な鉄道駅である。トーマスクック時刻表では"Brussels Midi/Zuid"と示されている。IATAコードではZYRと表されている。 ブリュッセル地