Assertion: robot | /r/CapableOf | define at most one transition
Facets:
value: for each state
type: TRANSITIVE-OBJECT
value: for each input symbol
type: TRANSITIVE-OBJECT
Source sentences:
text: While this is the most common definition, some authors use the term deterministic finite automaton for a slightly different notion: an automaton that defines at most one transition for each state and each input symbol; the transition function is allowed to be partial.