2012-02-21から1日間の記事一覧
付録A.4 のメタモデルに入ります。 A.4.1 状態機械の定義 ライブロックの定義は「全ての状態からある状態に到達できる経路がある」かつ「そのある状態に到達しない無限の経路もある」という意味に読みとったのですがちょっと違うかもしれませんね。 sig Stat…
付録A.4 のメタモデルに入ります。 A.4.1 状態機械の定義 ライブロックの定義は「全ての状態からある状態に到達できる経路がある」かつ「そのある状態に到達しない無限の経路もある」という意味に読みとったのですがちょっと違うかもしれませんね。 sig Stat…