• @fubo
    link
    102 years ago

    If you augment a TM with nondeterminism, it can still be reduced to a deterministic TM.