Glossary

Weighted alphabet

A weighted alphabet is one such that every symbol is assigned some (positive) real number, so that a string constructed from this alphabet has a weight, which is simply the sum of the weights of its constituent symbols.