The Library
Deciding atomicity of subword-closed languages
Tools
Atminas, Aistis and Lozin, Vadim V. (2022) Deciding atomicity of subword-closed languages. In: International Conference on Developments in Language Theory, Tampa, FL, USA, 09-13 May 2022. Published in: Developments in Language Theory, 13257 pp. 69-77. ISBN 9783031055775. doi:10.1007/978-3-031-05578-2_5 ISSN 0302-9743.
|
PDF
WRAP-Deciding-atomicity-of-subword-closed-languages-Lozin-22.pdf - Accepted Version - Requires a PDF viewer. Download (377Kb) | Preview |
Official URL: https://doi.org/10.1007/978-3-031-05578-2_5
Abstract
We study languages closed under non-contiguous (scattered) subword containment order. Any subword-closed language L can be uniquely described by its anti-dictionary, i.e. the set of minimal words that do not belong to L. A language L is said to be atomic if it cannot be presented as the union of two subword-closed languages different from L. In this work, we provide a decision procedure which, given a language over a finite alphabet defined by its anti-dictionary, decides whether it is atomic or not.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics | ||||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||||
Library of Congress Subject Headings (LCSH): | Formal languages -- Mathematical models, Machine theory, Decidability (Mathematical logic), Coding theory -- Testing, Sequential machine theory, Mathematics -- Data processing -- Testing | ||||||
Series Name: | Lecture Notes in Computer Science | ||||||
Journal or Publication Title: | Developments in Language Theory | ||||||
Publisher: | Springer | ||||||
ISBN: | 9783031055775 | ||||||
ISSN: | 0302-9743 | ||||||
Book Title: | Developments in Language Theory | ||||||
Official Date: | 6 May 2022 | ||||||
Dates: |
|
||||||
Volume: | 13257 | ||||||
Page Range: | pp. 69-77 | ||||||
DOI: | 10.1007/978-3-031-05578-2_5 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Reuse Statement (publisher, data, author rights): | The final authenticated version is available online at https://doi.org/10.1007/978-3-031-05578-2_5. | ||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||
Copyright Holders: | Springer Nature Switzerland AG | ||||||
Date of first compliant deposit: | 15 June 2022 | ||||||
Date of first compliant Open Access: | 6 May 2023 | ||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | International Conference on Developments in Language Theory | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Tampa, FL, USA | ||||||
Date(s) of Event: | 09-13 May 2022 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year