Assertion: deterministic finite automaton | /r/AtLocation | the picture
Facets:
Source sentences:
text: The finite deterministic string automaton shown in the picture accepts all strings of binary digits that denote a multiple of 3.