2019
DOI: 10.1007/978-3-030-34175-6_24
|View full text |Cite
|
Sign up to set email alerts
|

Succinct Determinisation of Counting Automata via Sphere Construction

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 naïve 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 app… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
4
0

Year Published

2022
2022
2024
2024

Publication Types

Select...
3
3

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(4 citation statements)
references
References 25 publications
0
4
0
Order By: Relevance
“…In the context of regex matching, counting automata were used in several forms under several names (e.g. [29,23,24,25,28,31,1,32,33]). Besides [23] discussed above, other solutions to matching of counting regexes [25,24,26,27,28,29,30] handle small classes of regexes or do not allow matching linear in the text size and independent of counter bounds.…”
Section: Related Workmentioning
confidence: 99%
See 2 more Smart Citations
“…In the context of regex matching, counting automata were used in several forms under several names (e.g. [29,23,24,25,28,31,1,32,33]). Besides [23] discussed above, other solutions to matching of counting regexes [25,24,26,27,28,29,30] handle small classes of regexes or do not allow matching linear in the text size and independent of counter bounds.…”
Section: Related Workmentioning
confidence: 99%
“…[29,23,24,25,28,31,1,32,33]). Besides [23] discussed above, other solutions to matching of counting regexes [25,24,26,27,28,29,30] handle small classes of regexes or do not allow matching linear in the text size and independent of counter bounds. The work [29] proposes a CA-to-CA determinization producing smaller automata than the explicit CA determinization for the limited class of monadic regexes, covered by letter-marked counting, and the size of their deterministic automata is still dependent on the counter bounds.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Several different automata models and automata-based techniques have been proposed to handle the matching of regexes with counting. DFAs and NFAs have been extended by [23] and [8] respectively by introducing counting operations and guards as an alternative to unfolding for large repetition bounds. An implementation of a class of counter automata, proposed in [59], is based on queues for representing sets of counter values.…”
Section: Related Workmentioning
confidence: 99%