計算のモデル化

化
計算のモデル化
1, p.139]
1
2
3
121と押すと解錠できる金庫
図 2 ボタン
数が一致するかの判定．
1
N
1
2
E
O
3
P
Q
1
1
2
F
R
3
2
S
B
3
1
G
T
2
3
U
V
1
W
1
2
H
X
3
Y
1
Z
1
A
2
C
2
I
2
AA
3
3
AB
1
J
AC
2
3
AD
3
AE
AF
1
2
K
1
D
AG
3
AH
2
1
L
AI
2
3
AJ
3
AK
1
M
AL
2
3
AM
AN
図3
121 と押すと解錠することを表す決定木
2
C
2
D
2,3
1,2,3
1,3
B
1
1
F
2,3
A
図4
121 と押すと解錠する有限状態機械
3
1
D
1,2
E
3
3
1
2
D
1,2
1,2,3
C
2,3
1,3
1
B
A
E
F
2,3
図5
1213 と押すと解錠する有限状態機械
4
1
2,3
1
A
1
B
2
3
1
2
2,3
C
D
3
E
図 6 失敗しても連続して 1213 と押すと解錠する有限状態機械
6
5

Download Report