問題タブ [state-diagram]

状態図を描くとき、​​どの状態がボックスに入れられ、どの状態が遷移矢印用であるかをどのようにして知ることができますか？遷移も状態であることに気づきました。

私はこのページの図1を見ています：

この回路用に 2 つの状態を持つミーリー​​ マシンを描きましたが、ムーア マシンの状態図を描くことができません。これを行う方法がわかりません。

回路は次のとおりです。

この回路は、1 つのバイナリ入力 X と 1 つのバイナリ出力 Y を持つムーア マシンです。出力 Y は、最新の 2 つのクロック パルスでサンプリングされた X の 2 つの値に依存します。Y は常に、これら 2 つの入力値の XOR 結合の結果である必要があります。

つまり、基本的に、状態が 1 で入力が 1 の場合は 0 になります。状態が 1 で入力が 1 の場合は 1 になります。状態の反対である限り、1 になります。 .

これは状態図でどのように表されますか? 遷移表はどうですか？

AとBの2つのコンポーネントを含むシステムが与えられ、

システムはAとBを同時に起動します。これで、Aは状態{A.Starting、A.Ready}を通過でき、Bは状態{B.Starting、B.DoingX、B.DoingY}になります。（AとBの状態間を遷移するイベントには、それに応じた名前が付けられます。B.doingx=> BはB.DoingXなどに移動します...）

それをモデル化したい

• AがA.Startingにある間、またはBがB.Startingにある間、システムは「開始中」です
• AがA.Readyにあり、BがB.DoingXにある場合、システムは「DoingX」状態にあります。
• AがA.Readyにあり、BがB.DoingYにある場合、システムは「DoingY」状態になります。

私が間違っていなければ、ここでfork/join疑似状態を使用できます。

しかし、これらのモデル要素には、上記の合成状態の宣言型セマンティクスがありますか？これをモデル化する別の方法はありますか？

（注：図はhttp://yuml.meからのものです）

Mathematicaがこのようなものを描くことは可能で実用的ですか（Graphvizによって作成されています）：

これは私が得ることができる最高のものです（しかし、形とスタイルは満足のいくものではありません）：

コード：

MediaPlayer オブジェクトを使用してサウンドを再生しようとしていますが、最善を尽くしても機能しないようです。音は単に再生を拒否します。

これは、画面に触れたときに再生される短い音です。つまり、あまり遅延なく何度も繰り返さなければなりません。これを知って、状態図http://developer.android.com/reference/android/media/MediaPlayer.htmlに従いました。メソッド呼び出しの順序付けの何が問題なのか、正確にはわかりません。

私はコンパイラ：原理、技術、およびツールを読んでいますが、これを理解していません：

さらに、フォワードポインタを1位置後退させる必要がある場合（つまり、語彙素に受け入れ状態に到達した記号が含まれていない場合）、その受け入れ状態の近くに*を追加で配置します。この例では、複数の位置だけ前方に後退する必要はありませんが、後退する場合は、任意の数の*を受け入れ状態に付加できます。

それはすべて理にかなっていますが、アスタリスクの重要性がわかりません。この本は正規表現（クリーネ閉包/クロージャー）でそれを使用していましたが、それは他の何かを表すために使用されていますか、それともクリーネ閉包ですか？

悲しいことに、UML は事実上SDL (Specification and Description Language、ITU Z.100) を殺し、SDL をサポートする便利なツールを見つけることは今日では困難です。

状態図を印刷したいのですが、何年も前に無料のツールを使用したことを覚えています。それは、ある会社 (私の記憶が正しければブラジルの会社) がずっと前に開発した Windows バイナリでしたが、もはや商業的な関心がなくなったため、無料でダウンロードできるように提供していました (バイナリのみで、ソース コードはありません)。 . 少なくとも私が探している SDL/PR ファイルを印刷できます。

私はそれを検索しようとしましたが、見つけることができません。このツールのリンク (または名前) を持っている人はいますか?

ノードとエッジを含む単純なxmlから状態図を作成できる無料のツールを探しています。どのような効果的なツールがありますか。

私はこれを知っているだけですhttp://www.cytoscape.org/

むしろ、他のツールをスムーズに使用できる人がいるかどうかを確認しますか？

表示されている状態図の VHDL コードを書きました (あー、私は新しいユーザーなので、画像を投稿できませんでした)。ただし、コンパイルするとエラーがあると表示されます: 16 行目: process(clk) -- 21 行目の解析時に構文エラーが検出されました: else -- 23 行目の解析時に構文エラーが検出されました: end if ; -- 解析時に構文エラーが検出されました。

これは私のコードです:

構文は完全に正しいですが、なぜエラーなのかわかりません。何が間違っている可能性がありますか？

また、ready =0、burst =0、ready = 0、burst = 1 の場合に assert ステートメントを使用したいのですが、メイン コードにどのように実装するかについてはよくわかりません。

16 行目、21 行目、23 行目を強調表示しました。

どんな助けでも素晴らしいでしょう。

3 x 3 のグリッドがあるユーザー インターフェイスをモデリングしています。グリッド内の各四角は状態 [編集: ] (左、上) および (中央、上) の四角を除いて、これらは一緒に単一の状態 [ /編集] であり、初期状態は中央 (マウスがカーソル「開始」)。マウス カーソルが境界を越えて新しい状態になると、その状態のイベントがトリガーされます。

軸を個別にモデル化することを検討しているため、X 状態と Y 状態があります。ただし、X 状態と Y 状態をグリッドの 9 つの正方形の状態の 1 つにマップするにはどうすればよいでしょうか (つまり、状態図で)。言い換えれば、実際の最終的な状態が X 状態と Y 状態の両方に依存している (構成されている) ことをどのように示すことができますか? これを行うためのより良い方法はありますか？

お知らせ下さい。