Slide 26
Slide 26 text
Initialization
Root
NodeID:01
Statement:[O,1]
Transitions
Statements:[(X, 0)]
NodeID:01.0
P:0.4545
Statements:[(Y, 0)]
NodeID:01.0.0
P:0.4000
Statements:[(Z, 0)]
NodeID:01.0.0.0
P:0.5000
Statements:[(Z, 1)]
NodeID:01.0.0.1
P:0.5000
Statements:[(Y, 1)]
NodeID:01.0.1
P:0.6000
Statements:[(Z, 1)]
NodeID:01.0.1.0
P:0.3333
Statements:[(Z, 0)]
NodeID:01.0.1.1
P:0.6667
Statements:[(X, 1)]
NodeID:01.1
P:0.5455
Statements:[(Z, 0)]
NodeID:01.1.0
P:0.3333
Statements:[(Y, 0)]
NodeID:01.1.0.0
P:0.5000
Statements:[(Y, 1)]
NodeID:01.1.0.1
P:0.5000
Statements:[(Z, 1)]
NodeID:01.1.1
P:0.6667
Statements:[(Y, 1)]
NodeID:01.1.1.0
P:0.2000
Statements:[(Y, 0)]
NodeID:01.1.1.1
P:0.8000