A Kleene theorem for weighted -pushdown automata

From MaRDI portal
Publication:5350146