当前位置: X-MOL 学术Inf. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Geometrically closed positive varieties of languages
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 V containing exclusively languages with regular geometrical closure are fully characterised by inclusion of V in W, 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 W with the variety of all star-free languages SF always falls into RLT, which is introduced as a subvariety of R, the variety of languages recognised by R-trivial monoids. All classes between RLT and WSF are thus geometrically closed: for instance, the level 3/2 of the Straubing-Thérien hierarchy, the DA-recognisable languages, or the variety R. It is also shown that WSF is the largest geometrically closed positive variety of star-free languages, while there is no largest geometrically closed positive variety of regular languages.



中文翻译:

几何封闭的正变种语言

从代数语言理论的角度研究了最近在形式语言上引入的几何闭包运算。正品种仅包含具有规则几何闭合的语言的完全特征在于包含W,在交换闭包的研究中出现的一个已知的正变体。从交集证明了语言的几何闭合W各种无星级语言顺丰总是陷入R大号, 它作为一个子变体引入R, 被R-平凡幺半群识别的各种语言。之间的所有班级R大号W顺丰因此在几何上是封闭的:例如,Straubing-Thérien 层次结构的第 3/2 级、DA可识别的语言或变体R. 这也表明W顺丰是无星语言的最大几何闭合正变体,而正则语言没有最大几何闭合正变体。

更新日期:2021-02-10
down
wechat
bug