In this paper,the author establishes the concepts of relative self-compatibility andrelative finite derivability of languages and obtains the relation between self-compatibilityand relative self-compatibility.From thi...In this paper,the author establishes the concepts of relative self-compatibility andrelative finite derivability of languages and obtains the relation between self-compatibilityand relative self-compatibility.From this it is proved that a family of languages isnondeterministically recognizable if and only if it is relatively self-compatible andrelatively finitely derivable to some set of families of langugaes.展开更多
基金This work was supported in part by Beijing-Hong Kong Academic Exchange Centre.
文摘In this paper,the author establishes the concepts of relative self-compatibility andrelative finite derivability of languages and obtains the relation between self-compatibilityand relative self-compatibility.From this it is proved that a family of languages isnondeterministically recognizable if and only if it is relatively self-compatible andrelatively finitely derivable to some set of families of langugaes.
