Information and Computation ( IF 0.8 ) Pub Date : 2021-02-10 , DOI: 10.1016/j.ic.2021.104709 Ondřej Klíma , Peter Kostolányi
A recently introduced operation of geometrical closure on formal languages is investigated from the viewpoint of algebraic language theory. Positive varieties containing exclusively languages with regular geometrical closure are fully characterised by inclusion of in , a known positive variety arising in the study of the commutative closure. It is proved that the geometrical closure of a language from the intersection of with the variety of all star-free languages always falls into , which is introduced as a subvariety of , the variety of languages recognised by R-trivial monoids. All classes between and are thus geometrically closed: for instance, the level 3/2 of the Straubing-Thérien hierarchy, the DA-recognisable languages, or the variety . It is also shown that is the largest geometrically closed positive variety of star-free languages, while there is no largest geometrically closed positive variety of regular languages.
中文翻译:
几何封闭的正变种语言
从代数语言理论的角度研究了最近在形式语言上引入的几何闭包运算。正品种仅包含具有规则几何闭合的语言的完全特征在于包含在,在交换闭包的研究中出现的一个已知的正变体。从交集证明了语言的几何闭合各种无星级语言总是陷入, 它作为一个子变体引入, 被R-平凡幺半群识别的各种语言。之间的所有班级和因此在几何上是封闭的:例如,Straubing-Thérien 层次结构的第 3/2 级、DA可识别的语言或变体. 这也表明是无星语言的最大几何闭合正变体,而正则语言没有最大几何闭合正变体。