We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Lower Bounds on Regular Expression Size

Abstract: We introduce linear programs encoding regular expressions of finite languages. We show that, given a language, the optimum value of the associated linear program is a lower bound on the size of any regular expression of the language. Moreover we show that any regular expression can be turned into a dual feasible solution with an objective value that is equal to the size of the regular expression. For binomial languages we can relax the associated linear program using duality theorem. We use this relaxation to prove lower bounds on the size of regular expressions of binomial and threshold languages.
Comments: 29 pages
Subjects: Formal Languages and Automata Theory (cs.FL)
Cite as: arXiv:1712.00811 [cs.FL]
  (or arXiv:1712.00811v2 [cs.FL] for this version)

Submission history

From: Hamoon Mousavi [view email]
[v1] Sun, 3 Dec 2017 18:35:48 GMT (26kb)
[v2] Wed, 6 Dec 2017 22:05:17 GMT (26kb)

Link back to: arXiv, form interface, contact.