Prawf Turing - Other languages