Hardware Reference
In-Depth Information
24
m
5
m
4
23
c
3
m
6
c
2
04
20
c
3
c
1
c
4
c
3
m
1
m
5
c
2
c
10
34
14
00
22
c
7
c
9
c
5
m
5
44
33
03
54
64
m
5
c
8
c
4
m
6
c
1
m
5
c
0
m
5
74
33
00
13
m
6
c
7
53
10
60
...
m
6
c
8
m
6
c
9
...
33
63
50
c
0
...
73
Fig. 15.12
(Fragment of the) Automaton of the maze for cat and mouse from Problem
15.1
specification is the same: no cat and mouse in the same room, and from any state
existence of a path to the initial state. The uncontrollable doors are
c
7
;c
8
;c
9
that
are always open. The automaton for the new maze is shown partially in Fig.
15.12
,
and the final supervisory controller is shown in Fig.
15.13
. Describe carefully the
trimming procedure that yields the controller in Fig.
15.13
starting from the one in
Fig.
15.12
, by repeating the analysis applied to the simpler maze of Example
15.12
.
Search WWH ::
Custom Search