Complex sentence: That is, at any time the system being modeled is in one of a finite number of states.
Split into simpler sentences: That is, at any time the system being modeled is in some state. There are a finite number of states.