Operations on strings, modeled as automata and charset operations.

This code may be used under the terms of the GNU General Public License. @author Anders Møller <amoeller@cs.au.dk>