有限オートマトン
(有限状態機械 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/01 15:15 UTC 版)
有限オートマトン(ゆうげんオートマトン、英: finite automaton)または有限状態機械(
注釈
出典
- ^ Sipser 2006, p. 34
- ^ Black, Paul E (12 May 2008). “Finite State Machine”. Dictionary of Algorithms and Data Structures (U.S. National Institute of Standards and Technology) .
- ^ James Andrew Anderson; Thomas J. Head (2006). Automata theory with modern applications. Cambridge University Press. pp. 105–108. ISBN 9780521848879
- ^ Hopcroft, John E (1971). An n log n algorithm for minimizing states in a finite automaton[リンク切れ]
- ^ Almeida, Marco; Moreira, Nelma; Reis, Rogerio (2007). On the performance of automata minimization algorithms
- ^ Revuz D. Minimization of Acyclic automata in Linear Time. Theoretical Computer Science 92 (1992) 181-189 181 Elsevier
- ^ “FSM: Medvedev”. 2010年7月10日閲覧。
有限状態機械
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/02 09:20 UTC 版)
「Border Gateway Protocol」の記事における「有限状態機械」の解説
BGPのピアは他のBGPのピアとの動作の決定にシンプルな有限オートマトン(finite state machine、以下FSMと略す)を使用する。FSMにはIdle、Connect、Active、OpenSent、OpenConfirm、Establishedの6つの状態がある。BGPのピアはTCP接続がされ次第、ピアのセッションが確立・維持される方向で状態遷移する。
※この「有限状態機械」の解説は、「Border Gateway Protocol」の解説の一部です。
「有限状態機械」を含む「Border Gateway Protocol」の記事については、「Border Gateway Protocol」の概要を参照ください。
有限状態機械
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/21 06:03 UTC 版)
一般にモデルは有限オートマトンや状態遷移系に変換(翻訳)される。このオートマトンはテスト対象システムのとりうる構成を表現している。テストケースを探すには、このオートマトン上で実行可能経路を探す。1つの実行可能経路が1つのテストケースに対応することになる。この手法はモデルが決定的であるか、決定的な形式に変換可能である場合にうまく機能する。 テスト対象システムが非常に複雑であった場合、システムのとりうる状態数が膨大となり、実行可能経路数も膨大となる可能性がある。適切なテストケースを見つけ出すには、例えば特定の証明すべき状況を指定して経路探索の補助とする。テストケースの選択には様々な手法が適用される。
※この「有限状態機械」の解説は、「モデルベーステスト」の解説の一部です。
「有限状態機械」を含む「モデルベーステスト」の記事については、「モデルベーステスト」の概要を参照ください。
- 有限状態機械のページへのリンク