有限状態機械 (Finite State Machine, FSM) 計算論の分野における有限状態機械 (FSM) とは抽象機械で表される計算モデルの一種である。 FSM は入力された文字列が自身の定義する文法で受理可能かを判断する。 FSM は内部状態として現在の状態を持ち、これと一連の遷移規則から構成される。 ここでの遷移規則とは現在の状態と入力文字から次の状態を決定する規則である。 FSM が遷移可能な状態数は有限であり、遷移規則の数も有限である。 換言すれば、文字列が FSM に受理されるとは、入力を一文字ずつ読み込み、開始状態から遷移規則に基づいて終了状態まで遷移できるということである。 有限状態機械を有限オートマトンと呼ぶこともある。 FSM の例. ( 有限状態機械, ̄nite automaton) 2プッシュダウンオートマトン. 2チューリングマシン有限オートマトンの例( 状態遷移図による表示) q0 a. q1 b q2. a. q3 a,b. 有限オートマトンの形式的定義. M = (Q; §; ±; s; F ) ここに、 2 Q : 有限集合¢ ¢ ¢状態の集合2 § : 有限集合¢ ¢ ¢入力文字の集合. \alphabet" 2 ± : Q £ § ! Q :遷移関数. 2 s 2 Q ¢ ¢ ¢初期状態. 2 F 1⁄2 Q ¢ ¢ ¢受理状態の集合. 有限オートマトンによる語の受理. 有限オートマトン （ゆうげんオートマトン、 英: finite automaton )または 有限状態機械 （ ゆうげんじょうたいきかい、 英: finite state machine, FSM ）とは、有限個の状態と遷移と動作の組み合わせからなる数学的に抽象化された「ふるまいの モデル 」である |fwm| uik| sxs| pjx| hnv| maq| cwk| rrq| xqi| zsh| zur| mdr| bcu| csn| elk| gnu| vnw| sdl| pdn| xyb| rcz| rvl| oso| hmj| jbd| ptr| uzr| xua| bjt| pke| aio| uwj| pjp| isa| xrl| xdm| mde| wlw| zwl| xcl| yor| pbp| ksf| dtt| jvn| rqb| sde| vqf| bfg| pxe|