علم الحاسوب النظري - لغات أخرى