replace Array with ListBf
implement most of updateInitProb, updateTranseProb