Assertion: robot | /r/Synonym | nondeterministic automata
Facets:
Source sentences:
text: Such automata are called nondeterministic automata .