Locally finite properties of data structures and their computation