3 ms·
Co-inductive methods are useful for that sort of thing. For example, we can prove two infinite streams are equal by showing that their definitions/generators a
by chriswarbo 6y ago
Co-inductive methods are useful for that sort of thing.
For example, we can prove two infinite streams are equal by showing that their definitions/generators are "bisimilar".
- maweki 6y agoBut the question is not whether their infinite extensions or limit are equal, but whether at each finite combination some property about the stream progress holds.