广义后嵌入问题
Generalized Post Embedding Problems
摘要：
证明了正则后嵌入问题是可判定的。这延伸到通用和/或计数版本。它还表明，在后嵌入问题的直接性和共直接性相结合，导致不可判定性。
英文摘要：
The Regular Post Embedding Problem extended with partial (co)directness is shown decidable. This extends to universal and/or counting versions. It is also shown that combining directness and codirectness in Post Embedding problems leads to undecidability.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
