Formale Sprache
Formale Sprachen sind mathematische Modellee von Sprachen, die besonders in der theoretischen Informatik, insbesondere bei Berechenbarkeitstheorie und dem Compilerbau, Anwendung finden.
Table of contents |
2 Beispiele 3 Menschliche Sprachen |
Mathematisch korrekt formuliert ist eine formale Sprache eine Menge von Wörtern endlicher Länge über einem endlichen Alphabet :
Noam Chomsky hat eine Hierarchie von formalen Grammatiken aufgestellt, die verschiedene Typen von formalen Sprachen erzeugen. Diese ist heute unter dem Namen Chomsky-Hierarchie bekannt.Definition
(hierbei ).
Die Menge dieser Wörter kann endlich oder unendlich sein. Man spricht dann auch von einer endlichen oder unendlichen Sprache.