4 ms·Robots need formal specification languages, to tame non deterministic compilers.by pjmlp 4mo agoRobots need formal specification languages, to tame non deterministic compilers.