Uniform Random Expressions Lack Expressivity - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Uniform Random Expressions Lack Expressivity

Cyril Nicaud
Pablo Rotondo
  • Function : Author
  • PersonId : 1091318

Abstract

In this article, we question the relevance of uniform random models for algorithms that use expressions as inputs. Using a general framework to describe expressions, we prove that if there is a subexpression that is absorbing for a given operator, then, after repeatedly applying the induced simplification to a uniform random expression of size n, we obtain an equivalent expression of constant expected size. This proves that uniform random expressions lack expressivity, as soon as there is an absorbing pattern. For instance, (a + b) is absorbing for the union for regular expressions on {a, b}, hence random regular expressions can be drastically reduced using the induced simplification.
Fichier principal
Vignette du fichier
MFCS19.pdf (570.17 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-03145930 , version 1 (18-02-2021)

Licence

Attribution

Identifiers

Cite

Florent Koechlin, Cyril Nicaud, Pablo Rotondo. Uniform Random Expressions Lack Expressivity. MFCS 2019, Aug 2019, Aachen, Germany. pp.51:1-51:14, ⟨10.4230/LIPIcs.MFCS.2019.51⟩. ⟨hal-03145930⟩
27 View
14 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More