Embed Size (px)
Citation preview
1
順序回路（簡単化）
＜手順１＞等価な状態⇒Q分割
出力の等しいQ
＜手順１-１＞１次等価なQ
( )65420)1(
0 ,,,, QQQQQB =
( )731)1(
1 ,, QQQB =
},{ )1(1
)1(0
)1( BB=P 10010101100110011010
407
536
045
014
623
712
621
540
QQQQQQQQQQQQQQQQQQQQQQQQ
d wXQ
Ritsumeikan OCW
2
順序回路（簡単化）１次等価なQで分割
)1(kBブロックÞd
712
621
540
10
QQQQQQQQQ
dXQ
( )65420)1(
0 ,,,, QQQQQB =
( )731)1(
1 ,, QQQB =
)1(1
)1(12
)1(0
)1(01
)1(0
)1(00
10
BBQBBQBBQ
dXQ
＜手順１-２＞
Ritsumeikan OCW
3
順序回路（簡単化）
遷移先ブロックの等しいQ
２次等価なQ
)1(0
)1(07
)1(0
)1(03
)1(1
)1(0
)1(01
)1(0
)1(16
)1(0
)1(05
)1(0
)1(14
)1(0
)1(1
)1(12
)1(0
)1(00
)1( 10
BBQBBQBBBQBBQBBQBBQBBBQBBQ
Pd
XQ
( )50)2(
0 ,QQB =
( )64)2(
2 ,QQB =
},,,{ )2(3
)2(2
)2(1
)2(0
)2( BBBB=P
＜手順１-３＞
Ritsumeikan OCW
4
順序回路（簡単化）
712
621
540
10
QQQQQQQQQ
dXQ
)2(3
)2(32
)2(2
)2(11
)2(0
)2(20
10
BBQBBQBBQ
dXQ
( )64)2(
2 ,QQB =
＜手順１-４＞ ２次等価なQで分割
)2(kBブロックÞd
Ritsumeikan OCW
5
順序回路（簡単化）
遷移先ブロックの等しいQ
３次等価なQ＜手順１-５＞
( )31)3(
3 ,QQB =
},,,,{
)3(4
)3(3
)3(2
)3(1
)3(0
)3(
BBBBB=P
)2(2
)2(07
)2(2
)2(13
)2(3
)2(2
)2(11
)2(0
)2(36
)2(0
)2(34
)2(2
2)2(
1
)2(0
)2(25
)2(0
)2(20
)2(0
)2( 10
BBQBBQBBBQBBQBBQB
QBBBQBBQB
Pd
XQ
Ritsumeikan OCW
6
順序回路（簡単化）＜手順１-６＞ ３次等価なQで分割
分割不可
＜手順１＞終了
31
64
50
QQQQQQ
ººº
7)3(
4
)3(2
)3(13
)3(2
)3(11
)3(3
)3(0
)3(36
)3(0
)3(34
)3(2
2)3(
1
)3(0
)3(25
)3(0
)3(20
)3(0
)3( 10
QBBBQBBQBBBQBBQB
QBBBQBBQB
Pd
XQ
Ritsumeikan OCW
7
順序回路（簡単化）
＜手順２＞等価な状態を統合＜手順２-１＞ブロック⇔状態
4)3(
4
3)3(
3
2)3(
2
1)3(
1
0)3(
0
ˆˆˆˆˆ
QBQBQBQBQB
ÛÛÛÛÛ
7)3(
4
)3(2
)3(13
)3(2
)3(11
)3(3
)3(0
)3(36
)3(0
)3(34
)3(2
2)3(
1
)3(0
)3(25
)3(0
)3(20
)3(0
)3( 10
QBBBQBBQBBBQBBQB
QBBBQBBQB
P XQ
Ritsumeikan OCW
8
順序回路（簡単化）＜手順２-２＞ dˆ ÞkQ
( ) 331)3(
3ˆ, QQQB Û=
1)3(
121ˆ),0( QBQQ ÛÎ=d
1)3(
123ˆ),0( QBQQ ÛÎ=d
2)3(
261ˆ),1( QBQQ ÛÎ=d
2)3(
263ˆ),1( QBQQ ÛÎ=d
23
13ˆ)ˆ,1(ˆˆ)ˆ,0(ˆ
QQQQ
==
dd
10010101100110011010
407
536
045
014
623
712
621
540
QQQQQQQQQQQQQQQQQQQQQQQQ
d wXQ
( )( )64
)3(2
2)3(
1
,QQBQB
==
Ritsumeikan OCW
9
順序回路（簡単化）＜手順２-３＞ wˆ ÞkQ
( ) 331)3(
3ˆ, QQQB Û=
0),0( 1 =Qw0),0( 3 =Qw
1),1( 1 =Qw1),1( 3 =Qw
1)ˆ,1(ˆ0)ˆ,0(ˆ
3
3
==
ww
10010101100110011010
407
536
045
014
623
712
621
540
QQQQQQQQQQQQQQQQQQQQQQQQ
d wXQ
Ritsumeikan OCW
10
順序回路
10
111010
12
21
120
****
QQQQ
QQQXQ
d w
不完全定義順序回路状態遷移表⇒一部未定義
Ritsumeikan OCW
11
順序回路状態の分類完全定義順序回路
不完全定義順序回路
（非）等価
（非）両立的 10
111010
12
21
120
****
QQQQ
QQQXQ
d w1010111010
102
021
120
QQQQQQQQQ
XQ
d w出力（不）一致
Ritsumeikan OCW
12
不完全定義順序回路非両立的出力が異なる状態
状態の遷移先⇒0,1
),~(),~( ba QXQX ww ¹
と約束*=* ,1,0
ba QQ ～
Ritsumeikan OCW
13
ba QQ ～
不完全定義順序回路両立的出力が同じ状態
状態の遷移先⇒0,1
),~(),~( ba QXQX ww =
と約束*=* ,1,0
Ritsumeikan OCW
14
不完全定義順序回路
両立的集合
0Q8Q1Q
5Q3Q
どの対も互いに両立的
Ritsumeikan OCW
15
不完全定義順序回路
極大両立的集合
両立的集合 他の両立的集合に包含されない
Ritsumeikan OCW
16
順序回路（簡単化）＜手順１＞
＜手順１-１＞
非両立⇒×
状態対⇔マス目
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
非両立的な状態の抽出
32104321
Ritsumeikan OCW
17
順序回路（簡単化）＜手順１＞
＜手順１-２＞状態対⇒マス目に記入
非両立的な状態の抽出
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
X=0上段X=1下段＊ 空欄
23
02
24
230134
0033
1304
0134
32104321
Ritsumeikan OCW
18
順序回路（簡単化）＜手順１＞
＜手順１-３a＞ 下記の条件⇒抽出
非両立的な状態の抽出
ba QQ～ のとき
bdpacp QQXQQX == ),(),( dd かつ
adpbcp QQXQQX == ),(),( dd かつ
dc QQ ～
Ritsumeikan OCW
19
32104321
順序回路（簡単化）＜手順１＞
＜手順１-３b＞非両立的な状態の抽出
ba QQ～ ⇒×
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ23
02
24
230134
0033
1304
0134
Ritsumeikan OCW
20
順序回路（簡単化）＜手順２a＞ 極大両立的集合の決定
ba QQ～ ⇒ ：別の両立的
集合に属す
ba QQ ,
},,,{ 4210 QQQQ },,,{ 4321 QQQQ30 QQ～
},,,,{ 43210 QQQQQ
Ritsumeikan OCW
21
順序回路（簡単化）＜手順２b＞ 極大両立的集合の決定
32104321
02
24
230134
0033
1304
0134
23
},,,,{ 43210 QQQQQ～ )( 30 QQ
},,,{ 4210 QQQQ },,,{ 4321 QQQQ
},,{ 410 QQQ },,{ 420 QQQ },,{ 431 QQQ },,{ 432 QQQ
)( 21 QQ～ )( 21 QQ～
)( 42 QQ ～
},{ 20 QQ },{ 40 QQ
)( 42 QQ ～
},{ 32 QQ },{ 43 QQ
Ritsumeikan OCW
22
順序回路（簡単化）＜手順３a＞ 部分集合
},,{ 4100 QQQm =C},,{ 4312 QQQm =C
},{ 201 QQm =C},{ 323 QQm =C
極大両立的集合
部分集合 Ci の満たす条件
jipjip
k
XX CCCCCCCQ
Í
ÈÈÈ=$"" ),(,,,
10
d
Ritsumeikan OCW
23
順序回路（簡単化）＜手順３b＞ 部分集合
},{ 410 QQ=C }{ 32 Q=C},{ 201 QQ=C
234
231
),0(),0(
CC
Î=Î=
QQQQ
dd
20 ),0( CC =\d
104
101
),1(),1(
CC
Î=Î=
QQQQ
dd
10 ),1( CC Í\d11
1011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
Ritsumeikan OCW
24
順序回路（簡単化）＜手順４＞
＜手順４-１＞ 部分集合⇔状態
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
統合
232
1201
0410
ˆ}{
ˆ},{
ˆ},{
QQQ
QQQ
Û=
Û=
Û=
C
C
C
Ritsumeikan OCW
25
順序回路（簡単化）＜手順４＞
＜手順４-２＞統合
dˆ ÞkQ
10
20
ˆ)ˆ,1(ˆ
ˆ)ˆ,0(ˆ
=
=
d
d
2234
31 ˆ),0(),0( QQQ
QQ ÛÎþýü
== Cd
d
1104
01 ˆ),1(),1( QQQ
QQ ÛÎþýü
== Cd
d
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
232
1201
0410
ˆ}{
ˆ},{
ˆ},{
QQQQQQQQ
Û=Û=Û=
CCC
Ritsumeikan OCW
26
順序回路（簡単化）＜手順４＞
＜手順４-３＞統合
wˆ ÞkQ
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
0410ˆ},{ QQQ Û=C
1)ˆ,1(ˆ
1)ˆ,0(ˆ
0
0
=
=
Q
Q
w
w
1),0(1),0(
4
1
==
ww
1),1(1),1(
4
1
==
ww
Ritsumeikan OCW
![Python 程式設計使用random模組 u random.choice(seq) u 將傳入的內容隨機取得 u random.shuffle(x[,random]) u 將傳入的序列型態資料內的項目順序以隨機順序產生](https://img.pdfslide.tips/doc/110x75/5e53cda42981c71f4303916b/python-cee-crandomc-u-seq-u-ce.jpg)
