Assertion: model's function | /r/HasProperty | computed by a finite state machine
Facets:
Source sentences:
text: Models differ in their expressive power; for example, each function that can be computed by a Finite state machine can also be computed by a Turing machine, but not vice versa.