I thought the whole idea is that we have programming languages because turning a rigidly defined language (like C) into another rigidly defined language (like machine code) is relatively simple.

Turning an ambiguous language with no formal definitions(like English) into one that does is a very hard problem.