摘要：分离问题的不可判定性：自动关系的可分离性问题的不可判定性
作者：Pablo Barcel''o and Diego Figueira and R''emi Morvan
论文ID：2305.08727
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-03
PDF 下载： 英文版 中文版pdf翻译中