Katz's Site - 算譜入門: オートマトンの基礎
以上のような図や表によって象徴される、 状態とその間の遷移が定義された構造を 「状態機械」 と呼ぶ。 各々の状態の意味は考えない。 全く考えないのかといえばそうでもないのだが、 少なくとも理論上は状態として何を持ってきても構わない。 健康状態のように明らかな意味を持つモノを状態とする事もある。 何が何だかさっぱりわからないモノを状態とする事もある。 スゴロクの桝目のようなモノは後者の例と言えよう。 問題を解く為に最も便利なモノを状態として定義すればよい。 少し変わった状態機械の使用例： 虎と羊を連れた人が野菜を運んでいた。 ある所で川を渡る必要が生じた。 舟が一艘あったがとても小さい。 その人が乗るとあとは虎か羊か野菜の内のいずれか一つしか乗せられない。 しかし人が居ない所で虎と羊を一緒にすると虎は羊を食べてしまう。 同様に人が居ないと羊は野菜を食べてしま
誤解しがちなモデリングの技：第4回：ステートマシン図 (II) | 豆蔵ソフト工学ラボ
誤解しがちなモデリングの技 第4回：ステートマシン図 (II) 印刷 株式会社豆蔵 ES事業部 皆川 誠 2009/04/22 ［モデリング］ 連載第4回のテーマは「ステートマシン図(II)」です。前回の記事に引き続き、ステートマシン図を描く際に誤って使われることが多いモデル要素や、{あまり嬉しくない|誤った}ステートマシン図の描き方/使い方などをいくつか紹介していきます。 その1: ChoiceとJunctionの違い いくつかの遷移をまとめたり、逆にガード条件によって何本かの遷移に振り分けて表記したりできるように、UMLのステートマシン図にはChoice擬似状態とJunction擬似状態という二種類の擬似状態が用意されています。ところが、ChoiceとJunctionの振る舞い/意味付けの違いを明確に意識せずに適当に使ってしまっているステートマシン図を見かけることがあります。 あるデ
ruby-state-machine
An enhanced state machine gem for ruby (doesn’t require Rails). Provides more robust DSL state declaration syntax than other state machines. Multiple “actions” per event (i.e., next state, labmda, or a “decider”. Fully unit-tested & documented. Has been used in production for over 2 years. Installing sudo gem install ruby-state-machine Demonstration of usage class SampleMachine include StateMachi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
