9 citations · 11 across the 3 of their papers we have counts for
3 papers · 1 filter
On the Uniform Distribution of Regular Expressions
Sabine Broda, António Machiavelo, Nelma Moreira +1
Although regular expressions do not correspond univocally to regular languages, it is still worthwhile to study their properties and algorithms. For the average case analysis one o…
Partial Derivative Automaton for Regular Expressions with Shuffle
Sabine Broda, António Machiavelo, Nelma Moreira +1
We generalize the partial derivative automaton to regular expressions with shuffle and study its size in the worst and in the average case. The number of states of the partial deri…
Deciding KAT and Hoare Logic with Derivatives
Ricardo Almeida, Sabine Broda, Nelma Moreira
Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular e…