Assertion: tree automaton | /r/HasProperty | a type of state machine
Facets:
Source sentences:
text: A tree automaton is a type of state machine.