Assertion: machine | /r/CapableOf | look for the symbol
Facets:
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 ).