John Hopcroft – drugi jezici