Every language is either the disjoint union or the intersection of two disjunctive languages.The family of f-disjunctive languages is a natural generalization of the family of disjunctive languages.Disjunctive domains...Every language is either the disjoint union or the intersection of two disjunctive languages.The family of f-disjunctive languages is a natural generalization of the family of disjunctive languages.Disjunctive domains(f-disjunctive domains)are defined as the languages which can be checked whether a given language is disjunctive(f-disjunctive)or not.The f-disjunctive domains were first studied by Guo et al.around 1986-1989.We continue their study on f-disjunctive domains.Some new results for f-disjunctive domains,containing a relation between disjunctive domains and f-disjunctive domains,are introduced.In this respect,we also make an appropriate opening for the completely dense languages and solid codes.展开更多
文摘Every language is either the disjoint union or the intersection of two disjunctive languages.The family of f-disjunctive languages is a natural generalization of the family of disjunctive languages.Disjunctive domains(f-disjunctive domains)are defined as the languages which can be checked whether a given language is disjunctive(f-disjunctive)or not.The f-disjunctive domains were first studied by Guo et al.around 1986-1989.We continue their study on f-disjunctive domains.Some new results for f-disjunctive domains,containing a relation between disjunctive domains and f-disjunctive domains,are introduced.In this respect,we also make an appropriate opening for the completely dense languages and solid codes.