Confluence and Convergence in Probabilistically Terminating Reduction Systems

Maja H. Kirkeby, Henning Christiansen

Convergence of an abstract reduction system (ARS) is the property that any derivation from an initial state will end in the same final state, a.k.a. normal form. We generalize this…