Difference between revisions of "Formale Sprache"

From Glottopedia
Jump to navigation Jump to search
(New page: == Definition == Im Unterschied zu natürlichen Sprachen basieren formale (oder auch künstliche, logische) Sprachen auf Sprachsystemen, die von der Logik und/...)
 
 
(5 intermediate revisions by 4 users not shown)
Line 1: Line 1:
== Definition ==
+
Im Unterschied zu [[natürliche Sprache|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.
  
Im Unterschied zu [[natürliche Sprache|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.
 +
 +
===Synonyme===
 +
*[[künstliche Sprache]]
 +
*[[logische Sprache]]
  
== Beispiel ==
+
===Herkunft===
  
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.
+
*Latein ''formalis'' - die Form betreffend
  
 +
===Quelle===
  
== Ursprung ==
+
WikiLingua 2006
  
*''lat. formalis'' - die Form betreffend
+
===Andere Sprachen===
 +
Englisch [[formal language]]
  
 
{{wb}}
 
{{wb}}
[[Category:Theorie]]
+
 
[[Category:Informatik]]
+
[[Category:Computational linguistics]]
[[Category:formale Sprachen]]
+
[[Category:Formal Languages]]

Latest revision as of 10:44, 18 October 2007

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

Herkunft

  • Latein formalis - die Form betreffend

Quelle

WikiLingua 2006

Andere Sprachen

Englisch formal language