Formale Sprache

Im Unterschied zu natürlichen Sprachen basieren formale Sprachen auf Sprachsystemen, die von der Logik und/oder der Mathematik konstruiert wurden. Formale Sprachen zeichnen sich durch Eindeutigkeit, Explizitheit und leichte Überprüfbarkeit aus. Zur Definition formaler Sprachen werden ein Alphabet sowie Regeln für die Sprache benötigt.

Beispiel
Alphabet: a, b; Regeln: Das kürzeste Wort der Sprache ist ab, Ein Wort der Sprache muss genausoviele a wie b enthalten, Alle a müssen vor den b stehen; Beispielwörter der Sprache: ab, aabb, aaabbb, aaaabbbb usw.

Synonyme

 * künstliche Sprache
 * logische Sprache

Herkunft

 * Latein formalis - die Form betreffend

Quelle
WikiLingua 2006

Andere Sprachen
Englisch formal language