Assertion: machine's input | /r/HasSubevent | no transition
Facets:
value: for a given state
type: OTHER
value: in a non-deterministic automaton
type: OTHER
Source sentences:
text: In a non-deterministic automaton, an input can lead to one, more than one, or no transition for a given state.