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 :
| Szerző: | |
|---|---|
| Testületi szerző: | |
| Dokumentumtípus: | Cikk |
| Megjelent: |
2009
|
| Sorozat: | Acta cybernetica
19 No. 2 |
| Kulcsszavak: | Számítástechnika, Kibernetika, Automaták |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12870 |
| LEADER | 01079nab a2200229 i 4500 | ||
|---|---|---|---|
| 001 | acta12870 | ||
| 005 | 20220617094203.0 | ||
| 008 | 161015s2009 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Kuske Dietrich | |
| 245 | 1 | 0 | |a Weighted and unweighted trace automata |h [elektronikus dokumentum] / |c Kuske Dietrich |
| 260 | |c 2009 | ||
| 300 | |a 393-410 | ||
| 490 | 0 | |a Acta cybernetica |v 19 No. 2 | |
| 520 | 3 | |a 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. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Kibernetika, Automaták | ||
| 710 | |a Weighted Automata : Theory and Applications (2008) (Dresden) | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12870/1/Kuske_2009_ActaCybernetica.pdf |z Dokumentum-elérés |