多重集合、集合和可数数值可解密有向图编码的可决定性
摘要：可分辨性和普通唯一可分辨性不同类型的编码一直以来都有研究，自从1980年代中期引入了多重集可分辨性。我们考虑有向图形编码的可分辨性，其中有向图形被定义为带有指定的起点和终点的标记多米诺骨牌，并配备了串联操作，该操作可以使用合并函数来解决可能的冲突。这是将单词和可变长度编码推广到平面结构的可能扩展之一。在这里，验证给定集合是否是一个编码在一般情况下不再可判定。我们根据串联类型（具有或不具有合并函数）、可分辨性类型（唯一、多重集、集合或数字）和编码几何（由图形的起点和终点的相对位置确定的几个类别）研究了图形编码的可判定性状态。除了两种仍然未解决的情况外，我们在所有其他情况下都给出了可判定性或不可判定性的证明。
作者：W{l}odzimierz Moczurad
论文ID：1604.02167
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22