Conditional Equations - Strings

Conditional Equations - Strings

CE-S (Conditional Equations - Strings) ist eine formale Sprache zur Modellierung von Algorithmen. Diese Sprache arbeitet auf Basis von bedingten Gleichungen, 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 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:

Abschnitt Bezeichnung Erklärung
spec Name des Algorithmus Ein beliebiger Name
opns Operationsdeklaration Form einer Deklaration:

f: D_1 \times D_2 \times ... \times D_a \rightarrow D
f ist der Funktionsname
D sind Typen (Argumenttypen und Wertetyp), also beliebige Mengen
Konstantendeklaration mit:
c: \rightarrow D

vars Variablendeklarationen Deklaration einer Variablen in der Form x \in D (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 Boolean

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Conditional Equations — CE S (Conditional Equations Strings) ist eine formale Sprache zur Modellierung von Algorithmen. Diese Sprache arbeitet auf Basis von bedingten Gleichungen, die je nach Auswertung der Bedingung gegebene Zeichenketten (Strings) mit Hilfe bestimmter …   Deutsch Wikipedia

  • CES — steht für: C.Ed. Schulte, 1840 gegründet, Deutschlands älteste Zylinderschlossfabrik Center for Economic Studies, ein Institut an der Ludwig Maximilians Universität München Cercle d’Echecs de Strasbourg, ein traditionsreicher und erfolgreicher… …   Deutsch Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

  • De Broglie–Bohm theory — Quantum mechanics Uncertainty principle …   Wikipedia

  • Nobel Prizes — ▪ 2009 Introduction Prize for Peace       The 2008 Nobel Prize for Peace was awarded to Martti Ahtisaari, former president (1994–2000) of Finland, for his work over more than 30 years in settling international disputes, many involving ethnic,… …   Universalium

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… …   Universalium

  • Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium

  • Modelica — Paradigm(s) declarative language Appeared in 1997 Stable release 3.2 (March 24, 2010 …   Wikipedia

  • Structural information theory — (SIT) is a theory about human perception and, in particular, about perceptual organization, that is, about the way the human visual system organizes a raw visual stimulus into objects and object parts. SIT was initiated, in the 1960s, by Emanuel… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”