Assertion: turing machine | /r/HasProperty | specified as a quadruple
Facets:
value: purely formally
type: MANNER
Source sentences:
text: Purely formally a Turing machine can be specified as a quadruple \(T = (Q,\Sigma, s, \delta)\) where: