Theoretische informatica - andere talen