Bits as symbols

Machines over bits are described for the universal machine, whose symbols are natural numbers, through Turing.MultiTapeTM.Universal.eBit.

Main definitions

• Turing.MultiTapeTM.Universal.eBit: bits as symbols.

def Turing.MultiTapeTM.Universal.eBit : Bool ↪ ℕ

Bits as symbols.