Informace o publikaci
Geometrically Closed Positive Varieties of Star-Free Languages
| Název česky | Geometricky uzavřené pozitivní variety star-free jazyků |
|---|---|
| Autoři | |
| Rok publikování | 2020 |
| Druh | Článek ve sborníku |
| Konference | LATA 2020 |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | https://link.springer.com/chapter/10.1007%2F978-3-030-40608-0_23 |
| Doi | http://dx.doi.org/10.1007/978-3-030-40608-0_23 |
| Klíčová slova | Language varieties; Geometrical closure; Straubing-Thérien hierarchy; R-trivial monoid |
| Popis | A recently introduced operation of geometrical closure on formal languages is investigated. It is proved that the geometrical closure of a language from the positive variety V_3/2, the level 3/2 of the Straubing-Thérien hierarchy of star-free languages, always falls into the variety R_LT, which is a new variety consisting of specific R-trivial languages. As a consequence, each class of regular languages lying between R_LT and V_3/2 is geometrically closed. |
| Související projekty: |