Assertion: robot | /r/CapableOf | read finite string of symbols
Facets:
Source sentences:
text: An automaton reads a finite string of symbols a 1 ,a 2 ,...., a n , where a i ∈ Σ, which is called an input word.