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.