This paper considers the occurrence of patterns in sequences of independent trials from a finite alphabet; Gani and Irle (1999) have described a finite state automaton which identifies exactly those sequences of symbols containing the specific pattern, which may be thought of as the word of interest. Each word generates a particular Markov chain. Motivated by a result of Guibas and Odlyzko (1981) on stochastic monotonicity for the random times when a particular word is completed for the first time, a new level-crossing ordering is introduced for stochastic processes. A process {Yn : n = 0, 1, …} is slower in level-crossing than a process {Zn}, if it takes {Yn} stochastically longer than {Zn} to exceed any given level. This relation is shown to be useful for the comparison of stochastic automata, and is used to investigate this ordering for Markov chains in discrete time.

Let V be a countably infinite set, and let {Xn, n = 0, 1, ·· ·} be random vectors in which satisfy Xn = AnXn– 1 + ζn, for i.i.d. random matrices {An} and i.i.d. random vectors {ζ n}. Interpretation: site x in V is occupied by Xn(x) particles at time n; An describes random transport of existing particles, and ζ n(x) is the number of ‘births' at x. We give conditions for (1) convergence of the sequence {Xn} to equilibrium, and (2) a central limit theorem for n–1/2(X1 + · ·· + Xn), respectively. When the matrices {An} consist of 0's and 1's, these conditions are checked in two classes of examples: the ‘drip, stick and flow model' (a stochastic flow with births), and a neural network model.