最初のページ 戻る 次へ 最後のページ 画像

仕様のとおり動作するか? 異常シーケンスは発生するか?

現在の状態Qn

入力

つぎの状態Qn+1

状態名

Q3 Q2 Q1 Q0

J3

K3

J2

K2

J1

K1

J0

K0

状態名

Q3 Q2 Q1 Q0

S13

1 1 0 1

0

0

1

1

1

1

1

0

S11

1 0 1 1

S11

1 0 1 1

0

1

1

0

1

0

1

0

S7

0 1 1 1

S7

0 1 1 1

0

0

0

0

1

1

1

0

S5

0 1 0 1

S5

0 1 0 1

0

0

0

1

1

1

1

0

S3

0 0 1 1

S3

0 0 1 1

0

1

0

0

1

0

1

1

S2

0 0 1 0

S2

0 0 1 0

1

1

1

0

1

1

1

1

S13

1 1 0 1

つぎのページに続く

仕様のとおりに動作している