Vaimu arvutusteooria – teised keeled