Assertion: turing machine | /r/HasProperty | reduced to binary turing machine
Facets:
Source sentences:
text: Where current definitions of Turing machines usually have only one type of symbols (usually just 0 and 1; it was proven by Shannon that any Turing machine can be reduced to a binary Turing machine (Shannon 1956))
text: The removal of the difference between F and E-squares was already discussed in Section 1.2 and it was proven by Shannon that any Turing machine, including the universal machine, can be reduced to a binary Turing machine (Shannon 1956).