Abstract
A model for channels in which an input sequence can produce output sequences of varying length is described. An efficient computational procedure for calculating Pr{Ymid X}is devised, whereX = x_1,x_2,cdots,x_MandY = y_1,y_2,cdots,y_Nare the input and output of the channel. A stack decoding algorithm for decoding on such channels is presented. The appropriate likelihood function is derived. Channels with memory are considered. Some applications to speech and character recognition are discussed.