Weighted and unweighted trace automata

Weighted and unweighted trace automata

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.

Elmentve itt :
Bibliográfiai részletek
Szerző: Kuske Dietrich
Testületi szerző: Weighted Automata : Theory and Applications (2008) (Dresden)
Dokumentumtípus: Cikk
Megjelent: 2009
Sorozat:Acta cybernetica 19 No. 2
Kulcsszavak:Számítástechnika, Kibernetika, Automaták
Tárgyszavak:
Természettudományok
Számítás- és információtudomány
Online Access:http://acta.bibl.u-szeged.hu/12870

Hasonló tételek

Hasonló tételek