comptheory: def of algo