Assertion: deterministic finite automaton | /r/CapableOf | accept all strings of binary digits
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.