Die Theorie der formalen Sprachen ist eine Teildisziplin der Mathematik, und stellt ein eigenständiges Wissensgebiet in der theoretischen Informatik dar. Eine formale Sprache besitzt eine Menge von Wörtern, welche aus einem gegebenen Alphabet gebildet werden können (einschließlich des leeren Wortes). Die Menge der Wörter ist eine Teilmenge der Kleeneschen Hülle über dieses gegebene Alphabet. Formale Sprachen werden mit Hilfe einer formalen Grammatik beschrieben, welche die Wörter der Sprache herzuleiten gestattet. Alle diese Dinge zusammen bestimmen eine formale Sprache.
Mehr unter Wikipedia.org...
Free Download Now!
