Mientras que una máquina determinista sigue un único "camino computacional", una máquina no determinista tiene un "árbol computacional".