States | Nash | GMR | SMR | SEQ | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
DM1 | DM2 | E | DM1 | DM2 | E | DM1 | DM2 | E | DM1 | DM2 | E | |
s1 | √ | √ | ||||||||||
s2 | √ | √ | √ | √ | ||||||||
s3 | √ | √ | √ | * | √ | √ | * | √ | ||||
s4 | ||||||||||||
s5 | √ | √ | √ | * | √ | √ | * | √ | ||||
s6 | √ | √ | √ | |||||||||
s7 | √ | √ | * | √ | √ | * | ||||||
s8 | √ | √ | √ | √ | ||||||||
s9 | √ | √ | * | √ | √ | * | √ | √ | * | √ | √ | * |
s10 | √ | √ | √ | * | √ | √ | * | √ | ||||
s11 | √ | √ | * | √ | √ | * | √ | √ | * | √ | √ | * |
s12 | √ | √ | √ | * | √ | √ | * | √ |