6.3.4. Non-Deterministic Turing Machines Notes | Theory of Computation BSC-CSIT | TU | TABFlux