State Transition Tableとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > State Transition Tableの意味・解説 

状態遷移表

(State Transition Table から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/09 23:52 UTC 版)

ナビゲーションに移動 検索に移動

状態遷移表(じょうたいせんいひょう、State Transition Table)は、状態機械類(の遷移関数 T(scurrent, e) = (a, snext))を、縦横の表にすることで、状態機械を記述したものである。scurrentはその機械の現在の状態(遷移元の状態)、eはイベント(状態機械への入力)、aはアクション(状態機械からの出力)、snextはその機械の次の状態(遷移先の状態)である。状態遷移図も状態機械の記述であるが、それぞれに利点と欠点とあるので、適宜使い分けられている。

代表的な形式

状態遷移表は一般に二次元の表である。二種類の代表的な形式が存在する。

  • 縦軸(または横軸)は現在の状態を示し、横軸(または縦軸)はイベントを示す。交差する箇所の各マスには、そのイベントが起きたときに次に遷移すべき状態を記述する(そして遷移に伴う動作があれば記述する)。
状態遷移表
  イベント
状態
E1 E2   ...   En
S1 - Ay/Sj ... -
S2 - - ... Ax/Si
... ... ... ... ...
Sm Az/Sk - ... -

(S: 状態, E: イベント, A: 動作, -: 不正な遷移)

  • 縦軸(または横軸)は現在の状態を示し、横軸(または縦軸)は次の状態を示す。交差する箇所の各マスは、その遷移を発生させるイベントを記述する。グラフ理論における隣接行列を拡張したものと言える。
状態遷移表
      次の状態
現在状態
S1 S2   ...   Sm
S1 Ay/Ej - ... -
S2 - - ... Ax/Ei
... ... ... ... ...
Sm - Az/Ek ... -

(S: 状態, E: イベント, A: 動作, -: ありえない遷移)

例としてマシンMの状態遷移表と状態遷移図を示す。

状態遷移表
  入力
状態
1 0
q0 q0 q1
q1 q1 q0
  状態遷移図

想定される全ての入力が表のカラムに列挙されている。想定される全ての状態は行に列挙されている。上記の状態遷移表を見れば、マシンが q0(一行目)の状態のとき 1 が入力されると、マシンは q0 状態になる。0 が入力されると q1 状態になることが二番目のカラムを見ればわかる。状態遷移図では、q0 から q1 への矢印に 0 が付記されているのがそれを表している。

非決定性有限オートマトン(NFA)の場合、ある入力によって遷移する先として複数の状態がありうる(そのため非決定性と言う)。これを状態遷移表で表すときは、括弧 { }で囲んで可能性のある全ての状態を列挙する。以下はその例である。

NFA の状態遷移表
  入力
状態
1 0 ε
S1 S1 { S2, S3 } Φ
S2 S2 S1 Φ
S3 S2 S1 S1

この非決定性マシンでは、S1 状態で 0が入力されたとき、S2S3 というふたつの状態を取りうる。最後のカラムは特殊な文字 ε が入力されたときの遷移を示している。これは実は入力がないときの NFA の状態遷移を意味している。このNFAは、S3 状態では入力文字を受け付けることなく S1 に遷移する可能性がある。以上のような場合があるため、この有限オートマトンは非決定性であると言える。

状態遷移図との変換

状態遷移表から状態遷移図を描くことができる。その簡単な手順は以下のようになる。

  1. 表に出てくる状態に対応した円を描く。
  2. 各状態について、対応する行を見て、遷移先の状態(群)への矢印を描く。そのオートマトンがNFAの場合、一種類の入力で複数の矢印が存在する場合がある。
  3. ひとつの状態を開始状態とする。開始状態は正式なオートマトンの定義では必須である。
  4. ひとつ以上の状態を受容状態とする。受容状態も正式なオートマトンの定義では必須である。一連の入力が与えられたときに最後にそのオートマトンがたどり着いた状態が受容状態なら、その入力を受容したと判断でき、受容状態でない状態にたどり着いたときはその入力文字列を受容しなかったと判断される。

関連項目

  • JIS X 0131、ISO/IEC 11411 - 関連規格

「State transition table」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「State Transition Table」の関連用語

State Transition Tableのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



State Transition Tableのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの状態遷移表 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS