Se dice que los algoritmos son universales ya que siempre es posible definir, independientemente del lenguaje de programación, un intérprete que ejecute un programa escrito en dicho lenguaje.