Eine Programmiersprache ist eine formale Sprache. Aber das Lemma heißt nicht: "Zuweisung der Programmiersprache Java", sondern das Lemma impliziert, dass für alle Programmiersprachen es Zuweisungen gibt. Es gibt also etwas abstrakteres, als "a = b", das ist der Mechanismus, den eine Zuweisung auslöst. Daran erkennt man eine Zuweisung. Das ist der Begriff Zuweisung. Richardigel 23:30, 22. Mai 2006 (CEST)