Assertion: turing machine | /r/HasProperty | possible
Facets:
value: with multiple heads
type: OTHER
Source sentences:
text: It is not known what the smallest number of colours needed for a multi-headed Turing machine are or if a 2-colour Universal Turing machine is possible with multiple heads.