Assertion: turing machine | /r/HasProperty | appropriate
Facets:
value: in situations
type: OTHER
Source sentences:
text: In situations where a formal analysis of Turing machines is required, it is appropriate to spell out the definition of the machinery and program in more mathematical terms.