Assertion: robot | /r/HasProperty | licensed by its transition relation
Facets:
Source sentences:
text: : An automaton that, after reading an input symbol, may jump into any of a number of states, as licensed by its transition relation.