Assertion: model | /r/HasProperty | interpreted as finite state automaton
Facets:
Source sentences:
text: Often the model is translated to or interpreted as a finite state automaton or a state transition system.