DMCA
Coinductive Counting With Weighted Automata (2002)
Cached
Download Links
- [www.cwi.nl]
- [homepages.cwi.nl]
- [homepages.cwi.nl]
- [www.cwi.nl]
- DBLP
Other Repositories/Bibliography
by
J. J. M. M. Rutten
| Citations: | 14 - 2 self |
BibTeX
@MISC{Rutten02coinductivecounting,
author = {J. J. M. M. Rutten},
title = {Coinductive Counting With Weighted Automata},
year = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A general methodology is developed to compute the solution of a wide variety of basic counting problems in a uniform way: (1) the objects to be counted are enumerated by means of an infinite weighted automaton; (2) the automaton is reduced by means of the quantitative notion of stream bisimulation; (3) the reduced automaton is used to compute an expression (in terms of stream constants and operators) that represents the stream of all counts.
