|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 交替 ： [こうたい] 1. (n,vs) alternation 2. change 3. relief 4. relay 5. shift ・ チューリング機械 ： [ちゅーりんぐきかい] (n) Turing machine ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 機 ： [き, はた] (n) loom ・ 機械 ： [きかい] 【名詞】 1. machine 2. mechanism
交替性チューリング機械（こうたいせいチューリングきかい、）は、非決定性チューリング機械 (NTM) の一種であり、複雑性クラス NP および co-NP の定義で使われる規則を一般化した計算受理規則を持つ。1976年、Chandra と Stockmeyer が ATM の概念を定式化した。 == 定義 == === 概要 === NP の定義では、計算の「存在的様式 (existential mode)」が使われる。すなわち、任意の選択が受理状態に到達すれば、計算全体が受理されたことになる。co-NP の定義では、計算の「全称的様式 (universal mode)」が使われる。すなわち、全ての選択が受理状態に到達すれば、計算状態が受理されたことになる。交替性チューリング機械（より正確に言えばそのような機械における受理の定義）はこれら2つの様式を混在して利用する。 交替性チューリング機械は非決定性チューリング機械の一種であり、その状態は2つの集合、「存在的状態 (existential states)」と「全称的状態 (universal states)」に分けられる。存在的状態では、受理状態となる遷移が1つでもあれば受理される。全称的状態では、全ての遷移が受理状態となる場合にのみ受理される。従って、遷移のない全称状態は無条件で受理され、遷移のない存在状態は無条件で拒絶される。機械全体としては、初期状態が受理される場合に受理する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「交替性チューリング機械」の詳細全文を読む スポンサード リンク
|