状態遷移図

state-transition-diagram.png

各々の丸の意味

2重丸で囲われているものは最終状態を意味する
最終状態のことを受理状態ともいう。
有限オートマトンには「受理」と「非受理」がある。
入力が終了した時の状態が受理状態にあれば、「受理」
それ以外であれば「非受理」
という。


初期状態には上に矢印が入る
教科書的[1]には2重線の矢印なんだけど、描けなかったーー。


普通の状態はただの丸

自分に矢印・・?

状態遷移図ではよく、自分自身に矢印が指してあるのを見かけますね、なにを意味してるんでしょう?
まず、矢印の近くに書いてある文字の意味するところ、スラッシュで分けた左が入力で右側が出力を意味してるのだ。

サポートサイト Wikidot.com