Metraipolis › archive › dc_bb33ce74508d

Formale Sprache — Wikipedia (de)

Source: Wikipedia (de)
Original: https://de.wikipedia.org/wiki/Formale_Sprache
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-07T03:10:05.849Z
SHA-256 of the archived text: 1a450bbda0059c760266f6934317c7c56d807f79b6f24260b3edb8b70bdd1a3e
Stable URL of this page: https://metraipolis.com/documento/dc_bb33ce74508d

How to cite

Formale Sprache — Wikipedia (de) — Wikipedia (de), https://de.wikipedia.org/wiki/Formale_Sprache (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_bb33ce74508d (Metraipolis archive dc_bb33ce74508d, sha256 1a450bbda0059c760266f6934317c7c56d807f79b6f24260b3edb8b70bdd1a3e)

BibTeX

@misc{dcbb33ce74508d,
  title = {Formale Sprache — Wikipedia (de)},
  howpublished = {Wikipedia (de)},
  url = {https://de.wikipedia.org/wiki/Formale_Sprache},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_bb33ce74508d; sha256 1a450bbda0059c760266f6934317c7c56d807f79b6f24260b3edb8b70bdd1a3e},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (de), https://de.wikipedia.org/wiki/Formale_Sprache. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn. Eine formale Sprache besteht aus einer bestimmten Menge von Symbolketten (im Allgemeinen Zeichenketten) („Wörter“ der Sprache), die aus einem Zeichen-/Symbolvorrat („Alphabet“, Grundsymbole) zusammengesetzt werden können. Während die Logik die Begrifflichkeit „Formale Sprache“ untersucht, finden formale Sprachen z. B. in der Mathematik, in der Linguistik und der theoretischen Informatik eine praktische Anwendung. Formale Sprachen eignen sich zur (logisch) präzisen Beschreibung des Umgangs mit Zeichenketten. So können zum Beispiel Datenformate oder ganze Programmiersprachen spezifiziert werden. Zusammen mit einer formalen Semantik erhalten die definierten Zeichenketten eine (logische) Bedeutung. Bei einer Programmiersprache kann damit einer Programmieranweisung (als Teil der formalen Sprache) ein eindeutiges Maschinenverhalten (als Teil der Semantik) zugeordnet werden. Aufbauend auf formalen Sprachen können aber auch Logikkalküle definiert werden, mit denen mathematische Schlüsse gezogen werden können. In Verbindung mit formal definierten Programmiersprachen können Kalküle helfen, Programme auf ihre Korrektheit zu überprüfen.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in tedesco, in ordine alfabetico).
Fonte: Wikipedia in tedesco, voce «Formale Sprache» — https://de.wikipedia.org/wiki/Formale_Sprache
Wikidata Q192161: «insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q192161
Autori: i contributori di Wikipedia (cronologia: https://de.wikipedia.org/wiki/Formale_Sprache?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 247658601, consultata il 2026-11-07T03:06:44.508Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: d7376605244275f0bb33e904065035c23c887da13a560b9d313d9fbf61efc126