Derived Terms without Derivation -- A shifted perspective on the derived-term automaton
Résumé
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.
Domaines
Théorie et langage formel [cs.FL]Origine | Fichiers produits par l'(les) auteur(s) |
---|