A survey on operational state complexity

Y Gao, N Moreira, R Reis, S Yu - arxiv preprint arxiv:1509.03254, 2015 - arxiv.org
Descriptional complexity is the study of the conciseness of the various models representing
formal languages. The state complexity of a regular language is the size, measured by the …

Descriptional complexity—an introductory survey

M Holzer, M Kutrib - Scientific Applications of Language Methods, 2011 - World Scientific
The purpose of the paper is to give an introductory survey of the main aspects and results
regarding the relative succinctness of different representations of languages, such as finite …

Quotient complexity of regular languages

J Brzozowski - arxiv preprint arxiv:0907.4547, 2009 - arxiv.org
The past research on the state complexity of operations on regular languages is examined,
and a new approach based on an old method (derivatives of regular expressions) is …

Co-lexicographically ordering automata and regular languages-Part I

N Cotumaccio, G D'Agostino, A Policriti, N Prezza - Journal of the ACM, 2023 - dl.acm.org
The states of a finite-state automaton 𝒩 can be identified with collections of words in the
prefix closure of the regular language accepted by 𝒩. But words can be ordered, and among …

Quotient complexity of ideal languages

J Brzozowski, G Jirásková, B Li - Theoretical Computer Science, 2013 - Elsevier
A language L over an alphabet Σ is a right (left) ideal if it satisfies L= LΣ∗(L= Σ∗ L). It is a two-
sided ideal if L= Σ∗ LΣ∗, and an all-sided ideal if L= Σ∗ L, the shuffle of Σ∗ with L. Ideal …

[HTML][HTML] Static analysis for ECMAScript string manipulation programs

V Arceri, I Mastroeni, S Xu - Applied Sciences, 2020 - mdpi.com
In recent years, dynamic languages, such as JavaScript or Python, have been increasingly
used in a wide range of fields and applications. Their tricky and misunderstood behaviors …

Towards an Effective Method of {ReDoS} Detection for Non-backtracking Engines

W Su, H Huang, R Li, H Chen, T Ge - 33rd USENIX Security Symposium …, 2024 - usenix.org
Regular expressions (regexes) are a fundamental concept across the fields of computer
science. However, they can also induce the Regular expression Denial of Service (ReDoS) …

Syntactic complexity of ideal and closed languages

J Brzozowski, Y Ye - … in Language Theory: 15th International Conference …, 2011 - Springer
The state complexity of a regular language is the number of states in the minimal
deterministic automaton accepting the language. The syntactic complexity of a regular …

[PDF][PDF] A review on state complexity of individual operations

Y Gao, N Moreira, R Reis, S Yu - … Science Review.(Available at www. dcc. fc …, 2012 - fc.up.pt
The state complexity of a regular language is the number of states of its minimal
determinitisc finite automaton. The complexity of a language operation is the complexity of …

On a structural property in the state complexity of projected regular languages

G Jirásková, T Masopust - Theoretical Computer Science, 2012 - Elsevier
A transition is unobservable if it is labeled by a symbol removed by a projection. The present
paper investigates a new structural property of incomplete deterministic finite automata–a …