Algebraic systems and pushdown automata

: Petre Ion, Salomaa Arto

: Manfred Droste, Werner Kuich, Heiko Vogler

: 2009

: Handbook of Weighted Automata

: 257

: 290