I don't know if this is another word for something I already know or if it is something altogether different. I'm reading my textbook in CS about distributed algorithms, and this came up.
I googled for a definition but couldn't find one.
The state set $Q$ contains a distinguished subset of initial states.