This transformation model is really a PCFG with unusual parameterization.
the graph need not be confined to edit distance transformations, or to the simple features of table 2 (used here for comparability with the Markov models), which condition a transformation's probability on local context.