Modeling of symbolic systems: Part I - Vector space representation of probabilistic finite state automata | IEEE Conference Publication | IEEE Xplore