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.