Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
M. Droste, S. Dziadek, Z. Esik, W. Kuich:
"Logics for Weighted ω-Pushdown Automata";
Hauptvortrag: 9th. International Workshop Weighted Automata: Theory and Applications,
Leipzig (eingeladen);
22.05.2018
- 26.05.2018.
Kurzfassung englisch:
We show that weighted pushdown automata and algebraic Systems over semirings are, by the triple construction, mechanisms of equal power. The same holds true for weighted ω-pushdown automata and algebraic systems over quemirings by the triple pair construction.
Then we report on work in progress about reset pushdown automata.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.