| Institute of Informatics>>> Acta Cybernetica>>> Past Issues>>> Volume 19, Number 2, 2009>>> |
 Magyarul
|
Weighted and Unweighted Trace Automata
Abstract (in LaTeX format)
We reprove Droste and Gastin's characterisation of the behaviors of weighted trace automata by certain rational expressions. This proof shows how to derive their result on \emph{weighted} trace automata as a corollary to the \emph{unweighted} counterpart shown by Ochma\'nski.
Kewords: weighted automata, Mazurkiewicz traces.
Full text
Available electronic editions: PDF.
Note that full text is available only for papers that are at least 3 years old. For more recent papers only the first page of the paper is provided.
BibTeX entry
@article{Kuske:2009:ActaCybernetica,author = {Dietrich Kuske},
title = {Weighted and Unweighted Trace Automata},
journal = {Acta Cybernetica},
volume = {19},
number= {2},
pages = {393--410},
year = {2009},
abstract = {We reprove Droste and Gastin's characterisation of the behaviors of weighted trace automata by certain rational expressions. This proof shows how to derive their result on \emph{weighted} trace automata as a corollary to the \emph{unweighted} counterpart shown by Ochma\'nski.},
keywords = {weighted automata, Mazurkiewicz traces}
}