Weighted and unweighted trace automata

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

[img]
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: angol
Event Title: Weighted Automata: Theory and Applications, 2008, Dresden
Uncontrolled Keywords: Természettudomány, Informatika
Additional Information: Bibliogr.: p. 409-410.; Abstract
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2018. Jun. 06. 10:18
URI: http://acta.bibl.u-szeged.hu/id/eprint/12870

Actions (login required)

View Item View Item