We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability.
翻译:我们继续研究一阶逻辑片段在数据词上的合成问题,并精确划定可判定性与不可判定性之间的边界。