Expressionsstärke
Expressionsstärke bezeichnet in der Logik, formalen Sprachen und der Informatik die Fähigkeit eines Systems, Eigenschaften, Relationen oder Berechnungen auszudrücken oder zu definieren. Sie beschreibt, welche Modelle oder Strukturen durch Sätze, Ausdrücke oder Programme charakterisiert werden können. In der Regel gilt: Je größer die Expressionsstärke, desto mehr lässt sich ausdrücken, oft aber auf Kosten von Entscheidungsfähigkeit oder Effizienz.
Man vergleicht Sprachen oder Logiken durch eine Inklusionsbeziehung: Eine Sprache L1 hat weniger Expressionsstärke als L2,
In der Praxis beeinflusst die Expressionsstärke Anwendungen in Theoretischer Informatik, Programmiersprachen, formaler Verifikation und Abfragesprachen. Stärkere