• fubo@lemmy.world
    link
    fedilink
    arrow-up
    8
    ·
    2 years ago

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