Assertion: model's function | /r/HasProperty | computed by a turing 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.