It means that for all pairs of distinct states, their associated environments (sets of compatible observation sequences) are disjoint.
Oops. I didn’t look at the notation closely and assumed a substantially different thing based on the word “distinguishable”. Oh well, I hope you guys will think my application was adequate anyway.
Thanks!
It means that for all pairs of distinct states, their associated environments (sets of compatible observation sequences) are disjoint.
Oops. I didn’t look at the notation closely and assumed a substantially different thing based on the word “distinguishable”. Oh well, I hope you guys will think my application was adequate anyway.
Thanks!