摘要
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.
In this paper,the author establishes the concepts of relative self-compatibility and relative finite derivability of languages and obtains the relation between self-compatibility and relative self-compatibility.From this it is proved that a family of languages is nondeterministically recognizable if and only if it is relatively self-compatible and relatively finitely derivable to some set of families of langugaes.
基金
This work was supported in part by Beijing-Hong Kong Academic Exchange Centre.