TY - JOUR AU - Dietrich Kuske PY - 2009/01/01 Y2 - 2024/03/28 TI - Weighted and unweighted trace automata JF - Acta Cybernetica JA - Acta Cybern VL - 19 IS - 2 SE - Regular articles DO - UR - https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3773 AB - We reprove Droste & Gastin's characterisation from [3] of the behaviors of weighted trace automata by certain rational expressions. This proof shows how to derive their result on weighted trace automata as a corollary to the unweighted counterpart shown by OchmaƄski. ER -