Publication Details

Succinct Determinisation of Counting Automata via Sphere Construction

HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus and VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction. In: In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19. Berlin Heidelberg: Springer Verlag, 2019, pp. 468-489. ISSN 0302-9743.
Czech title
Stručná reprezentace čítačových automatů prostřednictvím konstrukce koulí
Type
conference paper
Language
english
Authors
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Holíková Lenka, Ing. (DITS FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Saarikivi Olli (MSR)
Veanes Margus (MSR)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords

automata, counter automata, finite automata, XML schema, regular expressions, determinization

Abstract

We propose an efficient algorithm for determinising counting automata (CAs), i.e., finite automata extended with bounded counters. The algorithm avoids unfolding counters into control states, unlike the nave approach, and thus produces much smaller deterministic automata. We also develop a simplified and faster version of the general algorithm for the sub-class of so-called monadic CAs (MCAs), i.e., CAs with counting loops on character classes, which are common in practice. Our main motivation is (besides applications in verification and decision procedures of logics) the application of deterministic (M)CAs in pattern matching regular expressions with counting, which are very common in e.g. network traffic processing and log analysis. We have evaluated our algorithm against practical benchmarks from these application domains and concluded that compared to the nave approach, our algorithm is much less prone to explode, produces automata that can be several orders of magnitude smaller, and is overall faster. 

Published
2019
Pages
468-489
Journal
Lecture Notes in Computer Science, no. 11893, ISSN 0302-9743
Proceedings
In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19
Conference
17th Asian Symposium on Programming Languages and Systems -- APLAS'19, Bali, ID
Publisher
Springer Verlag
Place
Berlin Heidelberg, DE
DOI
10.1007/978-3-030-34175-6_24
UT WoS
000611530200024
EID Scopus
2-s2.0-85076674258
BibTeX 
@INPROCEEDINGS{FITPUB12077,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Lenka Hol\'{i}kov\'{a} and Ond\v{r}ej Leng\'{a}l and Olli Saarikivi and Margus Veanes and Tom\'{a}\v{s} Vojnar",
   title = "Succinct Determinisation of Counting Automata via Sphere Construction",
   pages = "468--489",
   booktitle = "In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19",
   journal = "Lecture Notes in Computer Science",
   number = 11893,
   year = 2019,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-030-34175-6\_24",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12077"
}
Back to top