Weighted and unweighted trace automata

Kuske Dietrich: Weighted and unweighted trace automata. In: Acta cybernetica, (19) 2. pp. 393-410. (2009)

[thumbnail of Kuske_2009_ActaCybernetica.pdf]
Preview
Cikk, tanulmány, mű
Kuske_2009_ActaCybernetica.pdf

Download (171kB) | Preview

Abstract

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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2009
Volume: 19
Number: 2
ISSN: 0324-721X
Page Range: pp. 393-410
Language: English
Place of Publication: Szeged
Event Title: Weighted Automata : Theory and Applications (2008) (Dresden)
Related URLs: http://acta.bibl.u-szeged.hu/38528/
Uncontrolled Keywords: Számítástechnika, Kibernetika, Automaták
Additional Information: Bibliogr.: p. 409-410. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 17. 09:42
URI: http://acta.bibl.u-szeged.hu/id/eprint/12870

Actions (login required)

View Item View Item