Assertion: machine's state | /r/HasAspect | exactly one transition
Facets:
value: in a deterministic automaton
type: OTHER
value: for each possible input
type: PURPOSE
Source sentences:
text: In a deterministic automaton, every state has exactly one transition for each possible input.