Difference between revisions of "Formale Sprache"
Jump to navigation
Jump to search
m (→Quelle) |
Haspelmath (talk | contribs) |
||
| Line 1: | Line 1: | ||
===Definition=== | ===Definition=== | ||
| − | Im Unterschied zu [[natürliche Sprache|natürlichen Sprachen]] basieren formale | + | 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. |
| − | |||
===Beispiel=== | ===Beispiel=== | ||
| Line 8: | Line 7: | ||
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. | 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=== | ===Herkunft=== | ||
*Latein ''formalis'' - die Form betreffend | *Latein ''formalis'' - die Form betreffend | ||
| − | |||
===Quelle=== | ===Quelle=== | ||
| Line 18: | Line 19: | ||
WikiLingua 2006 | WikiLingua 2006 | ||
| + | ===Andere Sprachen=== | ||
| + | Englisch [[formal language]] | ||
{{wb}} | {{wb}} | ||
| + | [[Category:Computational linguistics]] | ||
[[Category:Formal Languages]] | [[Category:Formal Languages]] | ||
Revision as of 10:43, 18 October 2007
Definition
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
