オペレーティングシステムの状態図

Question

可能性の重複：
State transition diagram for reader writer problem

Counter | Write Flag | Read Flag | Description 
________|____________|____________|________________ 
    0 |  0  |  0  | Write Locked 
    0 |  0  |  1  | Invalid 
    0 |  1  |  0  | Invalid 
    0 |  1  |  1  | Available 
n(n>0) |  0  |  0  | Write Request 
n(n>0) |  0  |  1  | Read Lock 
n(n>0) |  1  |  0  | Invalid 
n(n>0) |  1  |  1  | Invalid 
_____________________________________________________ 

の上には、状態の説明です。ステート遷移をトリガーする適切な イベントでラベル付けされたエッジを持つすべての有効なステートを含むステート遷移図 を描画します。 無効な状態が無効な理由も説明します。

私の州を代表するものを教えてもらえたら助かりますか？また、私の絵がどのようになるのか、そして私のトランジションをどうやって行うのかを説明しようとします。どうもありがとう！

Answer 1

DFAを描画する方法が分かっていることを願っています。ここにヒントがあります：8つの州があり、あなたのテーブルにリストされています。それらのそれぞれに大きな円を描き、あなたの気持ちは同じですが（「説明」の列はちょっとしたアイデアのようです）。次に、ある状態から他の状態への移動方法を説明する矢印をその間に描きます。たとえば、スレッドが読み取りロックを要求すると、AvailableからRead Lockに移動することがあります。