Assertion: machine | /r/CapableOf | compute findl
Facets:
value: on whatever
type: OTHER
Source sentences:
text: = \textrm{FINDL(EQUAL}(q_i,q_j,x), q_j, b)\): whatever the current symbol x , the machine computes FINDL on b (and so looks for the symbol marked by b ).
text: , the machine computes FINDL on (and so looks for the symbol marked by ).