Literale Konstante

Literale Konstante

Literal (lat. litteraBuchstabe“) bezeichnet in Programmiersprachen Zeichenfolgen, die zur Darstellung der Werte von Basistypen (z. B. Ganzzahlen, Gleitkommazahlen, Zeichenketten) definiert bzw. zulässig sind. Sie sind nicht benannt, werden aber über die jeweilige Umgebung ebenfalls in die Programmressourcen eingebunden. Literale können nur in rechtsseitigen Ausdrücken (z. B. rechts eines Zuweisungsoperators oder als Argument einer Funktion) auftreten. Meist werden die Literale zu den Konstanten gerechnet und dann als literale Konstanten bezeichnet, da beide im Gegensatz zu Variablen zur Laufzeit unveränderlich sind. Das Wort Konstante im engeren Sinn bezieht sich allerdings mehr auf in ihrem Wert unveränderliche Bezeichner, d. h. eindeutig benannte Objekte, die im Quelltext beliebig oft verwendet werden können, statt immer das gleiche Literal anzugeben.

Beispiele

Wahrheitswerte: true, false (in vielen Sprachen als reservierte Wörter)
Ganzzahlen: 1200, +1200, -12 (nur Ziffern und + oder -)
Gleitkommazahlen: 12.34, -12e34, 12.e-34 (Ziffern, Vorzeichen, Punkt, e)
Einzelzeichen: 'a' (beliebiges einzelnes Zeichen in einfachen Hochkommata)
Zeichenketten: "dies ist ein String" (beliebige Zeichen in doppelten Hochkommata)

In der Logik nennt man einen Satz Literal, wenn er entweder wahr (w, wahr, true) oder nicht wahr (f, falsch, false) ist. Dieses gilt sowohl für einfache als auch für verknüpfte Aussagen. „Halbwahrheiten“ gibt es in der zweiwertigen Logik nicht. Dieser Satz kann sowohl der gewöhnlichen Sprache entstammen oder auch der Sprache der Mathematik.

Siehe auch

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • Konstante (Programmierung) — Eine Konstante in einem Computerprogramm ist ein Wert, der sich während der Laufzeit des Programms nicht ändern kann. Das Gegenstück dazu ist eine Variable. Konstanten haben meist semantische Bezeichner, was den Umgang vereinfacht und eine… …   Deutsch Wikipedia

  • Literale — Literal (lat. littera „Buchstabe“) bezeichnet in Programmiersprachen Zeichenfolgen, die zur Darstellung der Werte von Basistypen (z. B. Ganzzahlen, Gleitkommazahlen, Zeichenketten) definiert bzw. zulässig sind. Sie sind nicht benannt, werden aber …   Deutsch Wikipedia

  • Macro — Makro stammt aus dem Griechischen (μακρος makros) und bedeutet „groß“ oder „weit“. Unter einem Makro versteht man ein Programm, das eine fest vorgegebene Folge von Befehlen, Aktionen oder Tastaturcodes enthält. Alle Anweisungen des Makros werden… …   Deutsch Wikipedia

  • Macrosprache — Makro stammt aus dem Griechischen (μακρος makros) und bedeutet „groß“ oder „weit“. Unter einem Makro versteht man ein Programm, das eine fest vorgegebene Folge von Befehlen, Aktionen oder Tastaturcodes enthält. Alle Anweisungen des Makros werden… …   Deutsch Wikipedia

  • Literal — Ein Literal ist ein spezieller Bestandteil einer formalen Sprache. Inhaltsverzeichnis 1 Literale in Programmiersprachen 1.1 Beispiele für Literale 2 Literale in der mathematischen Logik 3 …   Deutsch Wikipedia

  • Klauselresolution — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …   Deutsch Wikipedia

  • Resolution (Logik) — Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein Widerlegungsverfahren: Statt direkt die Allgemeingültigkeit einer Formel zu… …   Deutsch Wikipedia

  • Resolutionskalkül — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …   Deutsch Wikipedia

  • Resolutionsprinzip — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …   Deutsch Wikipedia

  • Resolutionsverfahren — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …   Deutsch Wikipedia

Share the article and excerpts

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