KLÍMA, Ondřej and Peter KOSTOLÁNYI. Geometrically Closed Positive Varieties of Star-Free Languages. In Alberto Leporati et al. LATA 2020. Cham: Springer, 2020, p. 328-340. ISBN 978-3-030-40607-3. Available from: https://dx.doi.org/10.1007/978-3-030-40608-0_23.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Geometrically Closed Positive Varieties of Star-Free Languages
Name in Czech Geometricky uzavřené pozitivní variety star-free jazyků
Authors KLÍMA, Ondřej (203 Czech Republic, guarantor, belonging to the institution) and Peter KOSTOLÁNYI (703 Slovakia).
Edition Cham, LATA 2020, p. 328-340, 13 pp. 2020.
Publisher Springer
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Switzerland
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
WWW URL
Impact factor Impact factor: 0.402 in 2005
RIV identification code RIV/00216224:14310/20:00114218
Organization unit Faculty of Science
ISBN 978-3-030-40607-3
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-030-40608-0_23
Keywords in English Language varieties; Geometrical closure; Straubing-Thérien hierarchy; R-trivial monoid
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. Marie Šípková, DiS., učo 437722. Changed: 29/4/2021 11:54.
Abstract
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.
Links
GA19-12790S, research and development projectName: Efektivní charakterizace tříd konečných pologrup a formálních jazyků
Investor: Czech Science Foundation
PrintDisplayed: 8/9/2024 07:27