• fubo@lemmy.world
    link
    fedilink
    arrow-up
    8
    ·
    1 year ago

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