Coinductive counting with weighted automata (0)

by Jan Rutten
Venue:Journal of Automata, Languages and Combinatorics