Assertion: machine's state | /r/DefinedAs | initial state
Facets:
Source sentences:
text: One state is defined as the initial state.