Formale Sprache: Unterschied zwischen den Versionen
Aus KGS-Wiki
Sn (Diskussion | Beiträge) Markierung: Zurückgesetzt |
Sn (Diskussion | Beiträge) Markierung: Manuelle Zurücksetzung |
||
| Zeile 9: | Zeile 9: | ||
* Eine Sprache, die [[römische Zahlen]] beschreibt, hat das Alphabet <math>\lbrace \textrm{I}, \textrm{V}, \textrm{X}, \textrm{L}, \textrm{C}, \textrm{D}, \textrm{M} \rbrace</math> und enthält Wörter wie <math>\textrm{XLII}</math> oder <math>\textrm{MMXXIII}</math>. | * Eine Sprache, die [[römische Zahlen]] beschreibt, hat das Alphabet <math>\lbrace \textrm{I}, \textrm{V}, \textrm{X}, \textrm{L}, \textrm{C}, \textrm{D}, \textrm{M} \rbrace</math> und enthält Wörter wie <math>\textrm{XLII}</math> oder <math>\textrm{MMXXIII}</math>. | ||
* Eine Sprache, die chemische Verbindungen beschreibt, könnte das Alphabet <chem>\lbrace H, He, Li, Be, | * Eine Sprache, die chemische Verbindungen beschreibt, könnte das Alphabet <chem>\lbrace H, He, Li, Be, \dots, Ts, Og, {}_0, {}_1, {}_2, {}_3, {}_4, {}_5, {}_6, {}_7, {}_8, {}_9 \rbrace</chem> haben und enthält Wörter wie [https://de.wikipedia.org/wiki/Plutonium(VI)-fluorid <chem>PuF6</chem>] oder [https://de.wikipedia.org/wiki/Titin <chem>C169719H270466N45688O52238S911</chem>]. | ||
== Grammatik == | == Grammatik == | ||
Version vom 7. September 2023, 06:56 Uhr
Eine formale Sprache ist eine Sprache, die nicht der Kommunikation dient, sondern zur Definition von Korrektheit in Informatiksystemen. Mit formalen Sprachen wird z.B. die Syntax von Programmiersprachen festgelegt, damit diese von einem Compiler überprüft werden können. Auch technische Spezifikationen wie der Aufbau von E-Mail-Adressen oder URLs werden mit formalen Sprachen festgelegt.
Grundbegriffe
Die Elemente einer formalen Sprache nennt man Wörter und deren Bestandteile Symbole. Alle Symbole einer Sprache bilden deren Alphabet.
Symbole können alles Mögliche sein: Buchstaben, Zahlen, Zeichen oder auch Zeichenketten.
Beispiele
- Eine Sprache, die römische Zahlen beschreibt, hat das Alphabet und enthält Wörter wie oder .
- Eine Sprache, die chemische Verbindungen beschreibt, könnte das Alphabet haben und enthält Wörter wie oder .
Grammatik
Siehe Formale Grammatik.
