状態遷移系 wikipedia|無料辞書
前のページ 1/1 次のページ
状態遷移系(じょうたいせんいけい、State Transition System)とは、
理論計算機科学での
計算の研究に使用される
抽象機械の一種。状態遷移系は状態群と状態間の
遷移から構成される。
・ 状態遷移系では状態数は有限である必要はなく、枚挙可能である必要もない。
・ 状態遷移系では遷移数は有限である必要はなく、枚挙可能である必要もない。
状態と遷移が有限個の状態遷移系は
有向グラフで表すことができる。
また、状態遷移系は「ラベル付き」と「ラベル無し」の2種類に分類することができる。
◆ 形式的定義
ラベル無し状態遷移系は形式的には
タプル (S, →) で表され、S は状態の集合、→ は → ⊆ S × S という S 上の
二項関係(つまり遷移)である。p,q ∈ S で (p,q) ∈ → であるとき、これを p → q と記述する。これはすなわち、状態 p から状態 q への遷移が存在することを意味する。
ラベル付き状態遷移系は
タプル(S, Λ, →) で表され、S は状態の集合、Λ はラベルの集合、→ ⊆ S × Λ × S は(ラベル付き遷移の)
三項関係である。p, q ∈ S で α ∈ Λ であるとき、(p,α,q) ∈ → ならば、これを次のように記述する。
\begin
& \alpha & \\
p & \rightarrow & q
\end
これは、状態 p から状態 q へのラベル α 付きの遷移が存在することを意味する。ラベルは対象言語によって様々な事柄を表現する。一般的には遷移に必要とされる入力を表す場合、遷移のトリガーとなる条件を表す場合、遷移に際して実行される行動を表す場合がある。
◆ ラベル付き状態遷移系とラベル無し状態遷移系の関係
これらの概念には様々な関係がある。単純な関係としては、ラベルの集合に1つしか要素が無いラベル付き状態遷移系は、ラベル無し状態遷移系と等価である。しかし、これらの関係は必ずしもそのような瑣末なものばかりではない。
◆ 関連項目
・
前のページ 1/1 次のページ
・状態遷移系 page1
■状態遷移系を他のサイトで調べる
@[状態遷移系]暇つぶしマスター
A[状態遷移系]性病マスター
B[状態遷移系]ダイエットNAVI
C[状態遷移系]価格比較マスター
D[状態遷移系]肛門科マスター
E[状態遷移系]産婦人科科マスター
F[状態遷移系]結婚情報マスター
■動物関連検索
■動物Wikipedia情報
おすすめサイト
■ダイエット
美容・ダイエットならオマカセ!ダイエットNAVI
■性病
性病?お悩み・病院検索は性病マスター
■暇つぶし
いま、ヒマ?暇つぶしマスターで暇つぶし★
■価格比較
気になる商品の価格を比較!価格比較マスター
■懸賞
カンタン応募で豪華商品が当たる!アタックchance!
■バイト
駅チカバイトなら楽ラクバイト.com
■求人
地域を選んでバイト、仕事を探せる!!バリバリ仕事!.com
■アルバイト
バイトをこだわり条件で探す!こだわりキャリア.com
■求人情報
自分に合ったバイト探し★Myピッタリ仕事.com
■バイト
"資格"でバイト探し!天職さがそ!.com
■バイト
いいバイト、あるある!aruアルバイト.com
■懸賞
アタックchanceで懸賞チャレンジ!
■産婦人科
病院探し!病気相談なら産婦人科マスター
■出産
妊娠!出産!育児!赤ちゃんマスターでお悩み解決!
■外為
外為・為替レートをチェック!外為マスター
■結婚
結婚マスター!結納・両親・マリッジブルーノお悩みに…
■先物
先物・取引!詳しくなる!先物マスター
■資格
資格!キャリアアップ!資格GETマスター★
■小説
小説・書籍ならオマカセ!小説マスター
■スポーツ
スポーツ!健康!デトックス!スポーツマスターにオマカセ!
■葬儀
お葬式・葬祭のことなら・・・葬儀マスター
■痩身
ダイエット・デトックス・痩身!スリムGETマスター
■脱毛
パーフェクトBODY目指せ!脱毛マスター
■着うた
最新!人気!定番!うたマスターで着うたCHECK!
■デコメ
キラ系かわいいデコメCHECK!デコメマスター
■転職
履歴書・マナー・転職テク!就職情報なら転職マスター
■バイク
ハーレー!改造!バイクマスターにオマカセ!
■派遣
派遣!転職!キャリアアップ!転職マスター
■ペット
カワイイ犬・猫を飼いたい!ペットマスター
■豊胸
薄着の季節…お悩み解決!豊胸マスター
■包茎
包茎のお悩みなら…包茎マスター
■レシピ
今晩のおかず…料理・レシピならレシピマスター
■モバグラMIXの人気キーワード
モバグラMIXの人気キーワード一覧
■外為
外為情報をいち早く!外為LINK
■求人
転職・就活なら求人LINKにオマカセ!
■金融
金融業界の勉強するなら!金融LINK
■車
TOYOTA!HONDA!BMW!車のコトなら車LINK
■モバグラMIXの人気キーワード2
モバグラmixの人気キーワード2
■モバグラMXIの人気キーワード3
モバグラMIXの人気キーワード3
■モバグラMIXの人気キーワード4
モバグラMIXの人気キーワード4
■モバグラMIXの人気キーワード5
モバグラMIXの人気キーワード5
■モバグラMIXの人気キーワード6
モバグラMIXの人気キーワード6
■モバグラMIXの人気キーワード7
モバグラMIXの人気キーワード7
■モバグラMIXの人気キーワード8
モバグラMIXの人気キーワード8
■モバグラMIXの人気キーワード9
モバグラMIXの人気キーワード9
■モバグラMIXの人気キーワード10
モバグラMIXの人気キーワード10
■モバグラMIXの人気キーワード11
モバグラMIXの人気キーワード11
■モバグラMIXの人気キーワード12
モバグラMIXの人気キーワード12
■モバグラMIXの人気キーワード13
モバグラMIXの人気キーワード13
■モバグラMIXの人気キーワード14
モバグラMIXの人気キーワード14
■モバグラMIXの人気キーワード15
モバグラMIXの人気キーワード15
■モバグラMIXの人気キーワード16
モバグラMIXの人気キーワード16
■モバグラMIXの人気キーワード17
モバグラMIXの人気キーワード17
■車査定
車査定.com
■献立レシピ1
レシピが月額99円
■献立レシピ2
レシピが月額99円
~動物-master.com 【05/29update】 トップへ
(C)動物-master.com