TY - RPRT TI - Derived-term Automata for Extended Weighted Rational Expressions AU - Akim Demaille PY - 2016 UR - https://arxiv.org/abs/1605.01530 ID - 1605.01530 ER -