Syntax [ edit
Ein Ausdruck ist eine syntaktische konstruieren, muss es wohlgeformt sein: Die zulässigen Operatoren müssen die korrekte Anzahl von Eingaben an den richtigen Stellen haben, die Zeichen, aus denen diese Eingaben bestehen, müssen gültig sein, eine eindeutige Reihenfolge der Operationen haben usw. Zeichenfolgen, die gegen die Zeichenfolge verstoßen Syntaxregeln sind nicht wohlgeformt und keine gültigen mathematischen Ausdrücke.
Zum Beispiel ist der Ausdruck 1 + 2 × 3 in der üblichen Schreibweise der Arithmetik wohlgeformt, der folgende Ausdruck jedoch nicht:
.
Semantik ist das Studium der Bedeutung. Bei der formalen Semantik geht es darum, Ausdrücken Bedeutung zu verleihen.
In der Algebra kann ein Ausdruck verwendet werden, um einen Wert festzulegen, der von Werten abhängen kann, die Variablen zugewiesen werden, die im Ausdruck vorkommen. Die Bestimmung dieses Wertes hängt von der Semantik der Symbole des Ausdrucks ab. Die Wahl der Semantik hängt vom Kontext des Ausdrucks ab. Derselbe syntaktische Ausdruck 1 + 2 × 3 kann unterschiedliche Werte haben (mathematisch 7, aber auch 9), abhängig von der Reihenfolge der durch den Kontext implizierten Operationen (siehe Reihenfolge der Operationen: Rechner).
Formale Sprachen und Lambda-Kalkül [ edit ]
Formale Sprachen ermöglichen die Formalisierung des Begriffs wohlgeformter Ausdrücke.
In den 1930er Jahren wurde von Alonzo Church und Stephen Kleene eine neue Art von Ausdrücken, Lambda-Ausdrücke genannt, eingeführt, um Funktionen und deren Bewertung zu formalisieren. Sie bilden die Grundlage für den Lambda-Kalkül, ein formales System der mathematischen Logik und der Theorie der Programmiersprachen.
Die Äquivalenz zweier Lambda-Ausdrücke ist unentscheidbar. Dies gilt auch für die Ausdrücke, die reelle Zahlen darstellen, die aus den Ganzzahlen unter Verwendung der arithmetischen Operationen, des Logarithmus und des Exponentials (Richardson-Theorem) gebildet werden.
Variablen [ edit ]
Viele mathematische Ausdrücke enthalten Variablen. Jede Variable kann entweder als freie Variable oder als gebundene Variable klassifiziert werden.
Für eine gegebene Kombination von Werten für die freien Variablen kann ein Ausdruck ausgewertet werden, obwohl für einige Kombinationen von Werten der freien Variablen der Wert des Ausdrucks undefiniert sein kann. Ein Ausdruck stellt somit eine Funktion dar, deren Eingaben die den freien Variablen zugewiesenen Werte sind und deren Ausgabe der resultierende Wert des Ausdrucks ist. [ Zitat benötigt ]
Zum Beispiel Ausdruck