Characteristic functions and option valuation in a Markov chain market

We introduce an approach for valuing some path-dependent options in a discrete-time Markov chain market based on the characteristic function of a vector of occupation times of the chain. A pricing kernel is introduced and analytical formulas for the prices of Asian options and occupation time call options are derived.