[cryptonector]

> So, the language is deterministic which is a result of being confluent. And going to section 6.1 as suggested says this:

Non-determinism in programming language theory does not mean _physical_ non-determinism.

> To answer your question more plainly it's the ambiguity that's important. Non-determinism usually follows as a natural consequent.

Non-determinism in programming language theory does not require ambiguity. Non-determinism here means something more like that the program's execution will search for matching solutions as if it knew them non-deterministically, but the search process will be deterministic (and it's almost invariably a depth-first search).