Before revision:   Our first main result is an algorithm that computes all identifiable functions without any additional assumptions  .
After revision:  Our first main result is an algorithm that computes all identifiable functions without any additional assumptions , which is the first such algorithm as far as we know .