The Non-Deterministic Calculus

Continuing where we left off last time The Pinnacle of Human Accomplishment in 1992-1994 CE The Non-Deterministic Calculus is NOT simply Non-Deterministic Turing Machine. NTM’s have some magical mechanism using which it guesses the right choices at each step to end up finding the solution eventually in polynomial time. It is this kind ofContinue reading “The Non-Deterministic Calculus”

The Turing Machine(s)

What is a Turing Machine? A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules. Despite the model’s simplicity, given any computer algorithm, a Turing machine capable of simulating that algorithm’s logic can be constructed. WeContinue reading “The Turing Machine(s)”