Una sutileza final es que porque los cachos se solapan, cada transición entre cachos en M debe ser transformado en formula_3 transiciones entre células en M' para tomar en cuenta la formula_3 símbolos diferentes que se podría haber escrito en la célula que pertenece a los dos cachos.