Literale

Literale

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:

  • literale Paragraphie — literale Paragraphie,   Paragraphie …   Universal-Lexikon

  • Literale Manuskriptkultur — Der Begriff Literalität (von lateinisch littera – „Buchstabe“) bezeichnet meist das mediengenealogische Entwicklungsstadium der Schriftlichkeit, das gekennzeichnet ist durch eine literale Manuskript und Inschriften Kultur, also die… …   Deutsch Wikipedia

  • Literale Konstante — 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

  • 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

  • Resolvent — 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”