We absolutely have digital machines with digital controls, they're called computers, and the controls are called programming languages etc.

The reason people prefer llms over programming is exactly because it lets them specify their program fuzzily, i.e. it lets them avoid going to the trouble of specifying enough detail to make it deterministic.