Deciding Whether two Codes Have the Same Ambiguities is in co-NP
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)(2022)
摘要
We define a code to be a finite set of words C on a finite alphabet, and an ambiguity to be an equality between two words in the monoid C
*
. We recall that a code is uniquely decipherable if its ambiguities are trivial. In this paper we construct a finite-turn deterministic pushdown automaton that recognizes the set of ambiguities of a code. This allows one to show that whether two codes of the same size have the same ambiguities is in co-NP.
更多查看译文
关键词
codes,equivalence,automata,ambiguity,complexity
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要