Difference between revisions of "Formale Sprache"

From Glottopedia
Jump to navigation Jump to search
m
Line 20: Line 20:
  
 
{{wb}}
 
{{wb}}
[[Category:Theorie]]
+
 
[[Category:Informatik]]
+
[[Category:Formal Languages]]
[[Category:formale Sprachen]]
 

Revision as of 16:44, 23 July 2007

Definition

Im Unterschied zu natürlichen Sprachen basieren formale (oder auch künstliche, logische) 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.


Herkunft

  • Latein formalis - die Form betreffend


Quelle

WikiLingua 2006