2000 character limit reached
Derived terms without derivation a shifted perspective on the derived-term automaton (2110.09181v1)
Published 18 Oct 2021 in cs.FL
Abstract: We present here a construction for the derived term automaton (aka partial derivative, or Antimirov, automaton) of a rational (or regular) expression based on a sole induction on the depth of the expression and without making reference to an operation of derivation of the expression. It is particularly well-suited to the case of weighted rational expressions.