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 ist der Funktionsname
D sind Typen (Argumenttypen und Wertetyp), also beliebige Mengen
Konstantendeklaration mit:
|
vars |
Variablendeklarationen |
Deklaration einer Variablen in der Form (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