Assertion: turing machine | /r/HasProperty | universal
Facets:
value: with 6 colours
type: OTHER
Source sentences:
text: Thus a 2-headed Turing machine can be Universal with 6 colours.