关于Fuzzy正则语言的一些性质

在定义Fuzzy正则语言,Fuzzy有理语言等的基础上,研究Fuzzy正则语言相关的一些性质,得到Fuzzy正则语言与Fuzzy有理语言间的对应关系,对Fuzzy有限状态自动机的简化具有应用价值。     

Totally Splittable Polytopes

A split of a polytope is a (necessarily regular) subdivision with exactly two maximal cells. A polytope is totally splittable if each triangulation (without additional vertices) is a common refinement of splits. This paper establishes a complete classification of the totally splittable polytopes.     

Decidability of Hierarchies of Regular Aperiodic Languages

A new, logical approach is propounded to resolve the decidability problem for the hierarchies of Straubing and Brzozowski based on preservation theorems in model theory, a theorem of Higman, and the Rabin tree theorem. We thus manage to obtain purely logical, short proofs of some known decidability facts, which definitely may be of methodological interest. The given approach also applies in some other similar situations, for instance, to the hierarchies of formulas modulo a theory of linear orderings with finitely many unary predicates.     

Additive Functions with Respect to Numeration Systems on Regular Languages

Asymptotic formulae for the summatory function of additive arithmetic functions related to numeration systems given by regular languages are derived.     

Additive Functions with Respect to Numeration Systems on Regular Languages

Asymptotic formulae for the summatory function of additive arithmetic functions related to numeration systems given by regular languages are derived.This author is supported by the START project Y96-MAT of the Austrian Science Fund.This author warmly thanks P. Grabner for his kind invitation to Graz and his hospitality.Received February 18, 2002; in revised form September 20, 2002 Published online May 15, 2003     

The Splittable Lie Algebras Whose Nilpotent Radicals are Heisenberg Algebras

ALiealgebraiscalledsplittableifboththesendshoplepartandthenilpotelltpartofitsinnerderivationarestillixmerderivations.OnecanprovethstaalgebraicLiealgebra(specially,acompleteLiealgebra)issplittable.Itseemsnaturaltoinvestigatefurtherpropertiesofthesplit...     

Regular Homomorphisms and Regular Maps

Regular homomorphisms of oriented maps essentially arise from a factorization by a subgroup of automorphisms. This kind of map homomorphism is studied in detail, and generalized to the case when the induced homomorphism of the underlying graphs is not valency preserving. Reconstruction is treated by means of voltage assignments on angles, a natural extension of the common assignments on darts. Lifting and projecting groups of automorphisms along regular homomorphisms is studied in some detail. Finally, the split-extension structure of lifted groups is analysed.     

Trivial Languages

I here present and defend what I call the Triviality Theory of Truth (TT), to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth (IT). A specific formulation of (TT) is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for (TT) specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with (TT) as I understand it. Finally, I consider a normative reading of their objection and offer a response.     

正则关系与完全正则空间

借助于关系的某些代数性质刻画拓扑空间的完全正则性,证明了拓扑空间是完全正则的当且仅当其闭集与开集之间存在满足一定简单条件的正则关系,有限正则关系或广义有限正则关系.     

带正则*-断面的正则半群

本文给出了带正则*-断面的正则半群的若干性质,获得了带拟理想正则*-断面的正则半群的一个构造方法.利用这一构造定理,考虑了这类半群上的同余.     

Abel正则球与完全正则半群

本文分别讨论了关于结合环和半群的二个定理，并且由结合环的这二个定理推出了如下准则：结合环Ｒ是Ａｂｅｌ正则的，当且仅当Ｒ的每个拟理想是正则环．     

Regular Graphs,Eigenvalues and Regular Factors

In this article, we obtain a sufficient condition for the existence of regular factors in a regular graph in terms of its third largest eigenvalue. We also determine all values of k such that every r‐regular graph with the third largest eigenvalue at most has a k‐factor.     

Regular Paper

We study the algebraic dimension of twistor spaces of positive type over 4CP². We show that such a twistor space is Moishezon if and only if its anti-canonical class is not nef. More precisely, we show the equivalence of being Moishezon with the existence of a smooth rational curve having negative intersection number with the anticanonical class. Furthermore, we give precise information on the dimension and base locus of the fundamental linear system |-1/2|. This implies, for example, dim|-1/2K| a(Z). We characterize those twistor spaces over 4CP², which contain a pencil of divisors of degree one by the property dim|-1/2K| = 3.     

Regular closure

Regular closure is an operation performed on submodules of arbitrary modules over a commutative Noetherian ring. The regular closure contains the tight closure when both are defined, but in general, the regular closure is strictly larger. Regular closure is interesting, in part, because it is defined a priori in all characteristics, including mixed characteristic. We show that one can test regular closure in a Noetherian ring by considering only local maps to regular local rings. In certain cases, it is necessary only to consider maps to certain affine algebras. We also prove the equivalence of two variants of regular closure for a class of rings that includes .