imported>Kolja21: Kolja21 verschob die Seite Conditional Equations - Strings nach Conditional Equations – Strings: typographisch korrektes Lemma

2025-08-20T22:21:08Z

Kolja21 verschob die Seite Conditional Equations - Strings nach Conditional Equations – Strings: typographisch korrektes Lemma

Neue Seite

'''CE-S''' ('''C'''onditional '''E'''quations – '''S'''trings) ist eine [[formale Sprache]] zur Modellierung von [[Algorithmus|Algorithmen]]. Diese Sprache arbeitet auf Basis von bedingten [[Gleichung]]en, die je nach Auswertung der Bedingung gegebene Zeichenketten (Strings) mit Hilfe bestimmter Operationen manipulieren. Funktionen, die mit CE-S berechnet werden können, entsprechen den berechenbaren [[Funktion (Mathematik)|Funktionen]] nach der [[Church-Turing-These]]. Das bedeutet, dass mit Hilfe von CE-S jede Funktion berechnet werden kann, die der Mensch mit mathematischen Mitteln berechnen kann. CE-S bietet außerdem die Möglichkeit, den Aufwand für Operationen einfach zu berechnen und anschließend einer Aufwandsklasse zuzuordnen. Die Modellierung eines Algorithmus in CE-S erfolgt auf Basis der so genannten ''CE-S-Spezifikation''.

== Spezifikation ==
Eine CE-S-Spezifikation besteht aus folgenden Abschnitten:

{| class="wikitable" style="text-align:center"
|- class="hintergrundfarbe5"
!Abschnitt || Bezeichnung || Erklärung
|-
|spec || Name des Algorithmus || Ein beliebiger Name
|-
|opns || Operationsdeklaration || Form einer Deklaration: 
<math>f: D_1 \times D_2 \times ... \times D_a \rightarrow D</math> 
f ist der Funktionsname 
D sind Typen (Argumenttypen und Wertetyp), also beliebige Mengen 
Konstantendeklaration mit: <math>c: \rightarrow D</math> 
|-
|vars || Variablendeklarationen || Deklaration einer Variablen in der Form <math>x \in D</math> (getypt) 
x ist ein Variablenname und D ein Typ (also wieder eine beliebige Menge) 
|-
|eqns || Bedingte Gleichungen || Bedingte Gleichung der Form L = R, falls b 
L, R sind Terme desselben Typs D 
b ist ein Term des Typs [[Boolesche Variable|Boolean]] 
|}

== Siehe auch ==
* [[Turingmaschine]]
* [[Berechenbarkeit]]

[[Kategorie:Theorie formaler Sprachen]]

Conditional Equations – Strings - Versionsgeschichte

imported>Kolja21: Kolja21 verschob die Seite Conditional Equations - Strings nach Conditional Equations – Strings: typographisch korrektes Lemma