Assertion: robot's input | /r/CapableOf | end with a 1
Facets:
Source sentences:
text: The following automaton M {\displaystyle M} , with a binary alphabet, determines if the input ends with a 1.