Assertion: robot | /r/HasProperty | mathematical object
Facets:
Source sentences:
text: In short, an automaton is a mathematical object that takes a word as input and decides whether to accept it or reject it.