WikiDer > Erklärung

EIN Aussage in einem ImperativProgrammiersprache ist eine einzelne, ausführbare Anweisung.

Eine imperative Programmiersprache ist eine Sprache, die das Rechenmodell der Turing Maschine folgt. Eine Aussage ist nach dieser Analogie ein Element der Übergangsfunktion. In Programmiersprachen mit einem höheren Abstraktionsniveau ist die Anweisung, die als Unterrichtseinheit gilt, der kleinste Arbeitsaufwand, der als Einheit innerhalb des gesamten Programms unterschieden werden kann.

Letzteres bedeutet nicht, dass eine Aussage im Hinblick auf den vorgeschlagenen Arbeitsaufwand klein sein muss – es gibt Sprachen, in denen eine Matrixmultiplikation eine einzelne Aussage ist.

Außerdem ist eine Anweisung nicht unbedingt atomar innerhalb von a verteiltes Programm, obwohl es eine Einheit ist. Eine spezielle Form der Anweisung, die atomar ist, ist die Ein-Punkt-Anweisung: Dies ist eine Anweisung, die höchstens ein Vorkommen einer gemeinsamen Variablen enthält.