Representation of Markov's chains functions over finite field based on stochastic matrix lumpability | IEEE Conference Publication | IEEE Xplore