22 Jun
2006
22 Jun
'06
10:01 a.m.
2006/6/22, Brian Hulley
Jerzy Karczmarczuk wrote:
Brian Hulley wrote: [snip] y IS NOT a longer list than yq, since co-recursive equations without limiting cases, apply only to *infinite* streams. Obviously, the consumer of such a stream will generate a finite segment only, but it is his/her/its problem, not that of the producer.
I still don't understand this point, since y = (a*x0 : yq) so surely by induction on the length of yq, y has 1 more element?
y and yq are infinite... mt