Assertion: machine's input | /r/HasProperty | received
Facets:
Source sentences:
text: Once all input has been received, if the current state is an accepting state, the input is accepted; otherwise it is rejected.
text: So for each input, the output is already fixed before the input is received, and depends solely on the present state.