Droste Manfred; Kuich Werner: A Kleene theorem for weighted ω-pushdown automata. In: Acta cybernetica, (23) 1. pp. 43-59. (2017)
Előnézet |
Cikk, tanulmány, mű
actacyb_23_1_2017_4.pdf Letöltés (362kB) | Előnézet |
Absztrakt (kivonat)
Weighted ω-pushdown automata were introduced as generalization of the classical pushdown automata accepting infinite words by Büchi acceptance. The main result in the proof of the Kleene Theorem is the construction of a weighted ω-pushdown automaton for the ω-algebraic closure of subsets of a continuous star-omega semiring.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2017 |
| Kötet: | 23 |
| Szám: | 1 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 43-59 |
| Nyelv: | angol |
| Kiadás helye: | Szeged |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/50021/ |
| DOI: | 10.14232/actacyb.23.1.2017.4 |
| Kulcsszavak: | Automaták elmélete - véges, Algebra, Véges automaták, Matematikai logika, Stephen Cole Kleene |
| Megjegyzések: | Bibliogr.: p. 58-59. ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2018. feb. 12. 08:40 |
| Utolsó módosítás: | 2022. jún. 20. 14:23 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/50062 |
 |
Tétel nézet |
