Assertion: robot | /r/HasProperty | classified by the class of formal languages
Facets:
value: often
type: TEMPORAL
Source sentences:
text: Automata are often classified by the class of formal languages they can recognize, typically illustrated by the Chomsky hierarchy, which describes the relations between various languages and kinds of formalized logics.