帰納的可算集合 - 他の言語