Ответ:

В естественных языках встречаются слова с неточным и неясным содержанием, а формальный язык несет только точность в содержании, что очень сильно затруднит перевод. Так же в естественном языке значения отдельных слов и предложений зависят от контекста,

И автоматизировать перевод не представляется возможным, так как данные свойства требуют человеческого вмешательства, интеллекта, для перевода на формальный язык.