We study the combination of the following already known ideas for showing confluence of unconditional or conditional term rewriting systems into practically more useful confluence criteria for conditional systems: Our syntactic separation into constructor and non-constructor symbols, Huet’s introduction and Toyama’s generalization of parallel closedness for non-terminating unconditional systems...

We devise a framework which leads to the formulation of a unified theory of normality (regularity), semi-normality (semi-regularity), s-normality (s-regularity), feeblynormality (feebly-regularity), pre-normality (pre-regularity), and others. Certain aspects of theory are given by unified proof.

In the present paper, we define regularity and normality like strong S1 regularity, S1 regularity, weak S1 regularity, strong S1 normality, S1 normality as well as weak S1 normality on L-topological spaces. Also we investigate some of their properties and the relations between them. 2010 Mathematics Subject Classification: 54A40, 54D10, 54D15, 54D65, 03E72.

Often researchers find parametric models restrictive and sensitive to deviations from the parametric specifications; semi-nonparametric models are more flexible and robust, but lead to other complications such as introducing infinite dimensional parameter spaces that may not be compact. The method of sieves provides one way to tackle such complexities by optimizing an empirical criterion functi...