Assertion: robot | /r/Synonym | infinite tree automaton
Facets:
Source sentences:
text: Such an automaton is called an infinite tree automaton