Assertion: machine's state | /r/CapableOf | leave content
Facets:
Source sentences:
text: At every step, the current state and the character read on the tape determine the next state the FSM will be in, the character that the machine will output on the tape (possibly the one read, leaving the contents unchanged), and which direction the head moves in, left or right.