Hardware Reference
In-Depth Information
a
b
c
−/−
−
A
A
a/
0
B
a
B
b/
1
a/
1
b/
0
a/
1
b/
0
a/
1
b/
0
0
b
D
C
D
C
a/
0
1
−/−
b/
1
−/
1
Fig. 5.9
(
a
)Buchi game; (
b
) Winning strategy for player-1 starting as second from state A;(
c
)
Winning strategy for player-0 starting as first from state C
(b) Show a winning strategy for player-1 starting as second from state A.
Solution.
See Fig.
5.9
b.
(c) Show a winning strategy for player-0 starting as first from state C.
Solution.
See Fig.
5.9
c (the output at a state is the letter written inside the state).
Search WWH ::
Custom Search