Assertion: machine | /r/MadeOf | a symbol \(s_{1},\ldots
Facets:
value: with 0\
type: OTHER
Source sentences:
text: At any moment, the machine is scanning the content of one square r which is either blank (symbolized by \(S_0\)) or contains a symbol \(S_{1},\ldots ,S_{m}\) with \(S_1 = 0\) and \(S_2 = 1\).