formale Sprache (Informatik)

eine mithilfe einer formalen Grammatik (z. B. Backus-Naur-Form, Montague-Grammatik) ableitbare Menge von Zeichenketten. Die formale Grammatik stellt dabei die Regeln zur Bildung der Zeichenketten aus einem Zeichenvorrat oder Alphabet zur Verfügung. Bezeichnet man die Zeichenketten als Wörter, so ist eine formale Sprache die Menge der erlaubten Wörter über einem Alphabet. Größere