Examples
Eventually computable with finite answers, but not computable
- find the objects on the shortest cycle containing o
- find the object(s) at the shortest distance from o that reference o
Not eventually computable
- find all objects that do not belong to a cycle
- find all objects which are not referenced by any other object
- output o iff all objects reachable from o have non-nil references