Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:formale_sprache

formale Sprache

engl.: formal language

Bedeutung

Eine formale Sprache über einem Alphabet A ist eine Menge von Zeichenreihen mit Zeichen aus A, also eine Teilmenge von A*.

Bemerkungen

  • Teilweise betrachtet man auch formale Sprachen mit unendlichen Zeichenfolgen.
  • Die Spezifikation einer formalen Sprache S sollte es ermöglichen zu prüfen, ob eine Zeichenreihe w Element von S ist.
  • Elemente formaler Sprachen haben zunächst einmal keine Bedeutung.
glossar/formale_sprache.txt · Zuletzt geändert: 2015/10/05 16:55 (Externe Bearbeitung)