In this program a regular expression constraint is applied to the allowed sequence
of hidden states of an given HMM and the HMM is transformed to a new HMM where the structure
only allows transitions which are valid with regard to the specified regular expression.