Teorija izračunljivosti – drugi jezici