从结构化文档的部分副本中提取共识的树自动机

在结构化文档的异步协作编辑工作流程中,每个共同作者在编辑过程的不同阶段都会收到一份文档副本,以插入其文稿。 出于机密性原因,此副本可能仅是部分副本,仅包含(全局)文档的某些部分,这些部分对于所考虑的共同作者表现出浓厚的兴趣。 请注意,某些部分可能显示出对合著者的兴趣; 因此,它们将可以同时访问。 当达到同步时间时(例如,在流程的异步编辑阶段结束时),我们希望将所有作者的所有文稿合并到一个文档中。 由于版本的异步性以及提供并发访问的文档部分的潜在存在,可能会发生冲突并使部分副本无法整体合并:它们是不一致的,这意味着它们包含冲突的部分。 本文的目的是提出一种合并方法,该合并方法使用树自动机以这种部