Translation of binary regular expressions into nondeterministic ɛ-free automata with O(n log n)transitions

  • Authors:
  • Viliam Geffert

  • Affiliations:
  • Department of Computer Science, P.J. Safárik University, Jesenná 5-04154 Kosice, Slovakia

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that every regular expression of size n over a fixed alphabet of s symbols can be converted into a nondeterministic ε-free finite-state automaton with O(sn log n) transitions (edges). In case of binary regular languages, this improves the previous known conversion from O(n(log n)2) transitions to O(n log n). For the general case with no bound on cardinality of the input alphabet, our conversion yields a better constant factor in the O(n(log n)2) term. The number of states is bounded by O(n).