Assertion: machine | /r/CapableOf | compute find
Facets:
Source sentences:
text: ERASE\((q_{i},q_{j},a)\): the machine computes FIND.