In der Theorie der Formalen Sprachen, einem Teilgebiet der theoretischen Informatik, bildet eine Bewertungsfunktion die Zeichen eines Alphabets auf natürliche Zahlen ab. Die additive Fortsetzung auf alle Wörter über dem Alphabet wird dann zu einer Bewertung der Wörter über dem Alphabet.

Definition

Es sei ein Alphabet und eine Zeichenbewertung. (Hierbei sei auch 0 eine natürliche Zahl.) Die zugehörige Wortbewertung oder Bewertungsfunktion ist mit:

Beispiele

1. Die Länge der Wörter liefert eine Bewertungsfunktion.
2. Die konstante Nullfunktion liefert eine Bewertungsfunktion; d. h., wenn alle Zeichen den Wert 0 erhalten, dann ist die so additiv fortgesetzte Abbildung eine Bewertungsfunktion.
3. Sei ein -elementiges Alphabet. Dann sei definiert durch: . Offenbar liefert die Fortsetzung dieser Abbildung wieder eine Bewertung.

Motivation

Die kontextsensitiven Sprachen sind durch monotone Grammatiken charakterisiert. Das sind solche, die die Eigenschaft haben, dass die linke Seite einer Regel nie länger als die rechte Seite ist. Diese Eigenschaft lässt sich mit Hilfe von Bewertungsfunktionen verallgemeinern.

Weitere Anwendungen finden sich bei den Zweikellerautomaten.

Literatur

• G. Buntrock, K. Loryś: The variable membership problem: Succinctness versus complexity. Annual Symposium on Theoretical Aspects of Computer Science (STACS), 1994 – Springer Lecture Notes in Computer Science S. 593–606