Fast Matching of Regular Patterns with Synchronizing Counting

Simple item page
dc.contributor.authorHolík, Lukášcs
dc.contributor.authorSíč, Jurajcs
dc.contributor.authorHolíková, Lenkacs
dc.contributor.authorVojnar, Tomášcs
dc.coverage.issue1cs
dc.coverage.volume13992cs
dc.date.issued2023-04-21cs
dc.description.abstractFast matching of regular expressions with bounded repetition, aka counting, such as (){,}, i.e., matching linear in the length of the text and independent of the repetition bounds, has been an open problem for at least two decades. We show that, for a wide class of regular expressions with counting, which we call synchronizing, fast matching is possible. We empirically show that the class covers nearly all counting used in usual applications of regex matching. This complexity result is based on an improvement and analysis of a recent matching algorithm that compiles regexes to deterministic counting-set automata (automata with registers that hold sets of numbers).en
dc.description.abstractRychlé porovnávání regulárních výrazů s omezeným opakováním, tzv. počítání, jako je (){,}, tj. porovnávání lineární v délce textu a nezávislé na hranicích opakování, je otevřeným problémem již nejméně dvě desetiletí. Ukážeme, že pro širokou třídu regulárních výrazů s počítáním, které nazýváme synchronizované, je rychlé porovnávání možné. Empiricky ukazujeme, že tato třída pokrývá téměř všechna počítání používaná v obvyklých aplikacích porovnávání regexů. Tento výsledek složitosti je založen na vylepšení a analýze nedávného párovacího algoritmu, který sestavuje regexy do deterministických počítacích automatů (automaty s registry, které uchovávají množiny čísel).cs
dc.formattextcs
dc.format.extent392-412cs
dc.format.mimetypeapplication/pdfcs
dc.identifier.citationLecture Notes in Computer Science. 2023, vol. 13992, issue 1, p. 392-412.en
dc.identifier.doi10.1007/978-3-031-30829-1_19cs
dc.identifier.issn0302-9743cs
dc.identifier.orcid0000-0001-6957-1651cs
dc.identifier.orcid0000-0001-7454-3751cs
dc.identifier.orcid0000-0003-1450-6136cs
dc.identifier.orcid0000-0002-2746-8792cs
dc.identifier.other185169cs
dc.identifier.researcheridK-5057-2015cs
dc.identifier.scopus24468124100cs
dc.identifier.scopus8727483800cs
dc.identifier.urihttp://hdl.handle.net/11012/244327
dc.language.isoencs
dc.publisherSpringer Verlagcs
dc.relation.ispartofLecture Notes in Computer Sciencecs
dc.relation.urihttps://link.springer.com/chapter/10.1007/978-3-031-30829-1_19cs
dc.rightsCreative Commons Attribution 4.0 Internationalcs
dc.rights.accessopenAccesscs
dc.rights.sherpahttp://www.sherpa.ac.uk/romeo/issn/0302-9743/cs
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/cs
dc.subjectregexen
dc.subjectcounting automataen
dc.subjectsynchronizing countingen
dc.subjectregex
dc.subjectpočítací automaty
dc.subjectsynchronizované počítání
dc.titleFast Matching of Regular Patterns with Synchronizing Countingen
dc.title.alternativeRychlé porovnávání regulárních vzorů se synchronizovaným počítánímcs
dc.type.driverconferenceObjecten
dc.type.statusPeer-revieweden
dc.type.versionpublishedVersionen
sync.item.dbidVAV-185169en
sync.item.dbtypeVAVen
sync.item.insts2024.03.25 23:46:16en
sync.item.modts2024.03.25 23:14:00en
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
9783031308291_19.pdf
Size:
955.66 KB
Format:
Adobe Portable Document Format
Description:
file 9783031308291_19.pdf
Download
Collections
Ústav inteligentních systémů