Assertion: tree automaton | /r/HasProperty | defined
Facets:
Source sentences:
text: The top-down finite tree automaton accepting the set of all terms corresponding to multiples of 3 in binary string notation is then defined by: