wiki/concepts/non_deterministic_turing_machines.md history