Talks and Poster Presentations (without Proceedings-Entry):
M. Droste, S. Dziadek, Z. Esik, W. Kuich:
"Logics for Weighted ω-Pushdown Automata";
Keynote Lecture: 9th. International Workshop Weighted Automata: Theory and Applications,
Leipzig (invited);
2018-05-22
- 2018-05-26.
English abstract:
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.
Created from the Publication Database of the Vienna University of Technology.