Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:formale_sprache

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:formale_sprache [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== 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: 2014/09/24 16:43 (Externe Bearbeitung)