an abstract implementation of a hidden Markov model which manages a symbol table and defines the basic methods in terms of the symbolic linear probability methods